 | 2012 |
|---|
| 8 |       | Jan Midtgaard,
Thomas P. Jensen:
Control-flow analysis of function calls and returns by abstract interpretation.
Inf. Comput. 211: 49-76 (2012) |
| 2011 |
|---|
| 7 | | Michael D. Adams,
Andrew W. Keep,
Jan Midtgaard,
Matthew Might,
Arun Chauhan,
R. Kent Dybvig:
Flow-sensitive type recovery in linear-log time.
OOPSLA 2011: 483-498 |
| 6 | | Olivier Danvy,
Jan Midtgaard:
Abstracting abstract machines: technical perspective.
Commun. ACM 54(9): 100 (2011) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page