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 | 82 | 2003 |
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 | 81 | 2004 |
Fast partial evaluation of pattern matching in strings MS Ager, O Danvy, HK Rohde ACM SIGPLAN Notices 38 (10), 3-9, 2003 | 32 | 2003 |
From natural semantics to abstract machines MS Ager International Symposium on Logic-Based Program Synthesis and Transformation …, 2004 | 29 | 2004 |
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 | 28 | 2002 |
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 | 20 | 2006 |
Partial evaluation of string matchers & constructions of abstract machines MS Ager | 17 | 2006 |
A symmetric approach to compilation and decompilation M Sig Ager, O Danvy, M Goldberg The Essence of Computation: Complexity, Analysis, Transformation, 296-331, 2002 | 8 | 2002 |
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 |