| 2009 | ||
|---|---|---|
| 5 | Jan Midtgaard, Thomas P. Jensen: Control-flow analysis of function calls and returns by abstract interpretation. ICFP 2009: 287-298 | |
| 2008 | ||
| 4 | Jan Midtgaard, Thomas P. Jensen: A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. SAS 2008: 347-362 | |
| 2005 | ||
| 3 | Mads Sig Ager, Olivier Danvy, Jan Midtgaard: A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. Theor. Comput. Sci. 342(1): 149-172 (2005) | |
| 2004 | ||
| 2 | Mads Sig Ager, Olivier Danvy, Jan Midtgaard: A functional correspondence between call-by-need evaluators and lazy abstract machines. Inf. Process. Lett. 90(5): 223-232 (2004) | |
| 2003 | ||
| 1 | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard: A functional correspondence between evaluators and abstract machines. PPDP 2003: 8-19 | |
| 1 | Mads Sig Ager | [1] [2] [3] |
| 2 | Dariusz Biernacki | [1] |
| 3 | Olivier Danvy | [1] [2] [3] |
| 4 | Thomas P. Jensen | [4] [5] |