Mads Sig Ager

According to our database, Mads Sig Ager authored at least 7 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Fast partial evaluation of pattern matching in strings.

Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde

ACM Trans. Program. Lang. Syst., 2006

2005

A functional correspondence between monadic evaluators and abstract machines for languages with computational effects.

Mads Sig Ager, Olivier Danvy, Jan Midtgaard

Theor. Comput. Sci., 2005

2004

A functional correspondence between call-by-need evaluators and lazy abstract machines.

Mads Sig Ager, Olivier Danvy, Jan Midtgaard

Inf. Process. Lett., 2004

From Natural Semantics to Abstract Machines.

Mads Sig Ager

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

2003

A functional correspondence between evaluators and abstract machines.

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2002

On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation.

Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

A Symmetric Approach to Compilation and Decompilation.

Mads Sig Ager, Olivier Danvy, Mayer Goldberg

Proceedings of the Essence of Computation, Complexity, Analysis, 2002