The following pages link to (Q3026333):
Displayed 7 items.
- Inverse image analysis generalises strictness analysis (Q751835) (← links)
- Parameter-reduction of higher level grammars (Q1099634) (← links)
- Strictness analysis via abstract interpretation for recursively defined types (Q1193597) (← links)
- Usage counting analysis for lazy functional languages (Q1275747) (← links)
- Type inference, abstract interpretation and strictness analysis (Q1314350) (← links)
- Order-of-demand analysis for lazy languages (Q1352133) (← links)
- Payoffs, Intensionality and Abstraction in Games (Q4922074) (← links)