|
Search the dblp DataBase
Jan Midtgaard:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
A functional correspondence between evaluators and abstract machines. [Citation Graph (0, 0)][DBLP] PPDP, 2003, pp:8-19 [Conf]
- Mads Sig Ager, Olivier Danvy, Jan Midtgaard
A functional correspondence between call-by-need evaluators and lazy abstract machines. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:90, n:5, pp:223-232 [Journal]
- Mads Sig Ager, Olivier Danvy, Jan Midtgaard
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:342, n:1, pp:149-172 [Journal]
Control-flow analysis of function calls and returns by abstract interpretation. [Citation Graph (, )][DBLP]
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|