Pages that link to "Item:Q162338"
From MaRDI portal
The following pages link to Higher-Order and Symbolic Computation (Q162338):
Displaying 6 items.
- Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439) (← links)
- The octagon abstract domain (Q853733) (← links)
- A syntactic theory of dynamic binding (Q1290313) (← links)
- Fundamental concepts in programming languages (Q1566861) (← links)
- A network protocol stack in standard ML (Q1600660) (← links)
- Logical approximation for program analysis (Q1929363) (← links)