2008 | ||
---|---|---|
4 | EE | Jan Midtgaard, Thomas P. Jensen: A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. SAS 2008: 347-362 |
2005 | ||
3 | EE | 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 | EE | 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 | EE | 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] |