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
212*2003
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
1862003
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
702004
From interpreter to compiler and virtual machine: a functional derivation
MS Ager, D Biernacki, O Danvy, J Midtgaard
BRICS Report Series 10 (14), 2003
582003
Fast partial evaluation of pattern matching in strings
MS Ager, O Danvy, HK Rohde
ACM SIGPLAN Notices 38 (10), 3-9, 2003
252003
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
242002
From natural semantics to abstract machines
MS Ager
International Symposium on Logic-Based Program Synthesis and Transformation …, 2004
202004
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
182006
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
182006
Partial evaluation of string matchers & constructions of abstract machines
MS Ager
162006
A symmetric approach to compilation and decompilation
MS Ager, O Danvy, M Goldberg
The essence of computation, 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–13