| |
| 2003 | ||
|---|---|---|
| 6 | EE | Daniel Damian, Olivier Danvy: Syntactic accidents in program analysis: on the impact of the CPS transformation. J. Funct. Program. 13(5): 867-904 (2003) |
| 5 | EE | Daniel Damian, Olivier Danvy: CPS transformation of flow information, Part II: administrative reductions. J. Funct. Program. 13(5): 925-933 (2003) |
| 2002 | ||
| 4 | EE | Daniel Damian, Olivier Danvy: A Simple CPS Transformation of Control-Flow Information. Logic Journal of the IGPL 10(5): 501-515 (2002) |
| 2001 | ||
| 3 | EE | Daniel Damian, Olivier Danvy: Static Transition Compression. SAIG 2001: 92-107 |
| 2 | EE | Daniel Damian: Time Stamps for Fixed-Point Approximation. Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 2000 | ||
| 1 | EE | Daniel Damian, Olivier Danvy: Syntactic accidents in program analysis: on the impact of the CPS transformation. ICFP 2000: 209-220 |
| 1 | Olivier Danvy | [1] [3] [4] [5] [6] |