|
|
Design and Implementation of a Partial Evaluation-Based Compiler for an Asynchronous Realtime Programming Language
– Markus Freericks
- 1996
|
|
2
|
Specialization of Functional Logic Programs
– María Alpuente, Moreno Falaschi, Germán Vidal
|
|
5
|
A Grammar-based Data-flow Analysis to Stop Deforestation
– Morten Heine Sørensen
- 1994
|
|
3
|
Controlling Conjunctive Partial Deduction
– Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen, Morten Heine S��rensen
- 1996
|
|
3
|
From Standard To Non-Standard Semantics By Semantics Modifiers
– Sergei Abramov, Robert Glück
- 2001
|
|
|
On the Place of Supercompilation inside Program Specialization
– Andrei P. Nemytykh
|
|
5
|
Semantics Modifiers: An Approach To Non-Standard Semantics Of Programming Languages
– Sergei Abramov, Robert Glück, Robert Gl Uck
- 1998
|
|
2
|
Reachability Analysis in Verification via Supercompilation
– Alexei Lisitsa, Andrei P. Nemytykh
- 2008
|
|
12
|
Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation (Extended Abstract)
– G. Puebla, John Gallagher, Manuel Hermenegildo
- 1997
|
|
|
On Generalization of Lists and Strings in
– Valentin F Turchin
|
|
12
|
Turchin's Supercompiler Revisited - An operational theory of positive information propagation
– Morten Heine Sørensen
- 1996
|
|
6
|
The Supercompiler Scp4: General Structure
– A. P. Nemytykh
- 2004
|
|
4
|
Supercompiler HOSC: proof of correctness
– Ilya G. Klyuchnikov
- 2010
|
|
1
|
An Approach to Supercompilation for Object-oriented Languages: the Java Supercompiler Case Study
– Andrei V. Klimov
- 2008
|
|
2
|
Improving supercompilation: tagbags, rollback, speculation, normalisation, and generalisation, 2011. Rejected by ICFP
– Maximilian Bolingbroke, Simon Peyton Jones
- 2011
|
|
|
Termination Combinators Forever
– Maximilian Bolingbroke, Simon Peyton, Jones Dimitrios Vytiniotis
|
|
36
|
Specialization of Lazy Functional Logic Programs
– Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal
- 1997
|
|
87
|
Opportunities for Online Partial Evaluation
– Erik Ruf, Daniel Weise
- 1992
|
|
19
|
Regular Approximation of Computation Paths in Logic and Functional Languages
– John Gallagher, John Gallagher, Laura Lafave, Laura Lafave
- 1996
|
|
16
|
A Supercompiler for Core Haskell
– Neil Mitchell, Colin Runciman
|
