The following pages link to Jan Midtgaard (Q418129):
Displaying 8 items.
- A parametric abstract domain for lattice-valued regular expressions (Q1664397) (← links)
- A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)
- A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (Q2566031) (← links)
- Control-flow analysis of functional programs (Q2875080) (← links)
- Calculating Graph Algorithms for Dominance and Shortest Path (Q2908564) (← links)
- A Calculational Approach to Control-Flow Analysis by Abstract Interpretation (Q3522082) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5891553) (← links)
- Control-flow analysis of function calls and returns by abstract interpretation (Q5892027) (← links)
