Partial Evaluation of String Matchers & Constructions of Abstract Machines
From Natural Semantics to Abstract Machines
Mads Sig Ager
In Sandro Etalle, editor, Proceedings of the 2004 International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2004), Lecture Notes in Computer Science 3573, pp 245-261. © Springer-Verlag 2005.
Extended version available as BRICS technical report RS-04-20.
[ dvi | ps.gz | pdf ]
In Sandro Etalle, editor, Proceedings of the 2004 International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2004), Lecture Notes in Computer Science 3573, pp 245-261. © Springer-Verlag 2005.
Extended version available as BRICS technical report RS-04-20.
[ dvi | ps.gz | pdf ]
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
Mads Sig Ager,
Olivier Danvy,
Jan Midtgaard
In Information Processing Letters, volume 90, number 5, pp. 223-232. © Elsevier 2004.
Extended version available as BRICS technical report RS-04-3.
[ dvi | ps.gz | pdf ]
In Information Processing Letters, volume 90, number 5, pp. 223-232. © Elsevier 2004.
Extended version available as BRICS technical report RS-04-3.
[ dvi | ps.gz | pdf ]
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
Mads Sig Ager,
Olivier Danvy,
Jan Midtgaard
In Theoretical Computer Science, volume 342, issue 1, pp 149-172. © Elsevier 2005.
Preliminary version presented at the second APPSEM II workshop, Talinn, Estonia, 2004.
Extended version available as BRICS technical report RS-04-28.
[ dvi | ps.gz | pdf ]
In Theoretical Computer Science, volume 342, issue 1, pp 149-172. © Elsevier 2005.
Preliminary version presented at the second APPSEM II workshop, Talinn, Estonia, 2004.
Extended version available as BRICS technical report RS-04-28.
[ dvi | ps.gz | pdf ]
From Interpreter to Compiler and Virtual Machine: a Functional Derivation
Mads Sig Ager,
Dariusz Biernacki,
Olivier Danvy,
Jan Midtgaard
BRICS technical report RS-03-14.
[ dvi | ps.gz | pdf ]
BRICS technical report RS-03-14.
[ dvi | ps.gz | pdf ]
A Functional Correspondence between Evaluators and Abstract Machines
Mads Sig Ager,
Dariusz Biernacki,
Olivier Danvy,
Jan Midtgaard
In Dale Miller, editor, Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), pp 8-19. © ACM Press 2003.
Available as BRICS technical report RS-03-13.
[ dvi | ps.gz | pdf ]
In Dale Miller, editor, Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), pp 8-19. © ACM Press 2003.
Available as BRICS technical report RS-03-13.
[ dvi | ps.gz | pdf ]
Fast Partial Evaluation of Pattern Matching in Strings
Mads Sig Ager,
Olivier Danvy,
Henning Korsholm Rohde
In Transactions on Programming Languages and Systems (TOPLAS), volume 28, number 4, pp. 696-714. © ACM 2006.
Preliminary version appeared in Michael Leuschel, editor, Proceedings of the 2003 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2003), pp 3-9. © ACM Press 2003.
Available as BRICS technical report RS-04-40.
[ ps.gz | pdf ]
In Transactions on Programming Languages and Systems (TOPLAS), volume 28, number 4, pp. 696-714. © ACM 2006.
Preliminary version appeared in Michael Leuschel, editor, Proceedings of the 2003 Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2003), pp 3-9. © ACM Press 2003.
Available as BRICS technical report RS-04-40.
[ ps.gz | pdf ]
On Obtaining Knuth, Morris, and Pratt's String Matcher
by Partial Evaluation
Mads Sig Ager,
Olivier Danvy,
Henning Korsholm Rohde
In Kenichi Asai and Wei-Ngan Chin, editors, Proceedings of the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM 2002), pp 32-46. © ACM Press 2002.
Extended version available as BRICS technical report RS-02-32.
[ dvi | ps.gz | pdf ]
In Kenichi Asai and Wei-Ngan Chin, editors, Proceedings of the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM 2002), pp 32-46. © ACM Press 2002.
Extended version available as BRICS technical report RS-02-32.
[ dvi | ps.gz | pdf ]
A Symmetric Approach to Compilation and Decompilation
Mads Sig Ager,
Olivier Danvy,
Mayer Goldberg
In Torben Mogensen, David Schmidt and I. Hal Sudborough, editors, The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, Lecture Notes in Computer Science 2566, pp 295-330. © Springer-Verlag 2002.
Extended version available as BRICS technical report RS-02-37.
[ dvi | ps.gz | pdf ]
In Torben Mogensen, David Schmidt and I. Hal Sudborough, editors, The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, Lecture Notes in Computer Science 2566, pp 295-330. © Springer-Verlag 2002.
Extended version available as BRICS technical report RS-02-37.
[ dvi | ps.gz | pdf ]
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets.
Beaudouin-Lafon, M., Mackay, W.E., Jensen, M., Andersen, P, Janecek,
P., Lassen, M., Lund, K., Mortensen, K., Munck, S., Ratzer, A., Ravn,
K., Christensen, S., Jensen, K:
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001). Genova, Italy, April 2001. Lecture Notes in Computer Science 2031, pp. 574-577. © Springer-Verlag 2001.
[ ps.gz | pdf ]
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001). Genova, Italy, April 2001. Lecture Notes in Computer Science 2031, pp. 574-577. © Springer-Verlag 2001.
[ ps.gz | pdf ]