Follow
Mads Sig Ager
Mads Sig Ager
Verified email at google.com
Title
Cited by
Cited by
Year
A functional correspondence between evaluators and abstract machines
MS Ager, D Biernacki, O Danvy, J Midtgaard
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
260*2003
From interpreter to compiler and virtual machine: a functional derivation
MS Ager, D Biernacki, O Danvy, J Midtgaard
BRICS Report Series 10 (14), 2003
822003
A functional correspondence between call-by-need evaluators and lazy abstract machines
MS Ager, O Danvy, J Midtgaard
Information Processing Letters 90 (5), 223-232, 2004
812004
Fast partial evaluation of pattern matching in strings
MS Ager, O Danvy, HK Rohde
ACM SIGPLAN Notices 38 (10), 3-9, 2003
322003
From natural semantics to abstract machines
MS Ager
International Symposium on Logic-Based Program Synthesis and Transformation …, 2004
292004
On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation
MS Ager, O Danvy, HK Rohde
Proceedings of the ASIAN symposium on Partial evaluation and semantics-based …, 2002
282002
Fast partial evaluation of pattern matching in strings
MS Ager, O Danvy, HK Rohde
ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (4), 696-714, 2006
202006
Partial evaluation of string matchers & constructions of abstract machines
MS Ager
172006
A symmetric approach to compilation and decompilation
M Sig Ager, O Danvy, M Goldberg
The Essence of Computation: Complexity, Analysis, Transformation, 296-331, 2002
82002
The issue number is given in front of the page numbers.
MS Ager, O Danvy, J Midtgaard
Theoretical Computer Science 342, 416, 2005
2005
Partial Evaluation of String Matchers & Constructions of Abstract Machines: A Dissertation Presented to the Faculty of Science of the University of Aarhus in Partial Fulfilment …
MS Ager
Department of Computer Science, University of Aarhus, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–11