Mads Sig Ager

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
Fast partial evaluation of pattern matching in strings. ACM Trans. Program. Lang. Syst. 28 (4) (2006)
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) (2005)
Mads Sig Ager, Olivier Danvy, Jan Midtgaard
A functional correspondence between call-by-need evaluators and lazy abstract machines. Inf. Process. Lett. 90 (5) (2004)
Mads Sig Ager
From Natural Semantics to Abstract Machines. LOPSTR (2004)
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
Fast partial evaluation of pattern matching in strings. PEPM (2003)
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard
A functional correspondence between evaluators and abstract machines. PPDP (2003)
Mads Sig Ager, Olivier Danvy, Mayer Goldberg
A Symmetric Approach to Compilation and Decompilation. The Essence of Computation (2002)
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. ASIA-PEPM (2002)