|
68
|
Rules and Strategies for Transforming Functional and Logic Programs
– A. Pettorossi, M. Proietti, R. Dicembre
- 1996
|
|
1
|
Automatic Derivation of Logic Programs by Transformation
– Alberto Pettorossi, Maurizio Proietti
- 2000
|
|
33
|
Transformation of Logic Programs
– Alberto Pettorossi, Maurizio Proietti
- 1998
|
|
21
|
Partial Evaluation
– Torben Æ. Mogensen, Torben Ae. Mogensen, Peter Sestoft
- 1996
|
|
46
|
Logic program specialisation through partial deduction: Control issues
– Michael Leuschel, Maurice Bruynooghe
- 2002
|
|
|
Abstract Interpretation and Low-Level Code Optimization
– Saumya Debray
- 1995
|
|
4
|
A Toolkit for Static Analysis of Constraint Logic Programs
– Hüseyin Saglam
- 1997
|
|
2
|
Developing Correct and Efficient Logic Programs by Transformation
– Alberto Pettorossi, Maurizio Proietti
- 1996
|
|
33
|
A Roadmap to Metacomputation by Supercompilation
– Robert Glück, Morten Heine Sørensen
- 1996
|
|
16
|
Calculating Accumulations
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1999
|
|
120
|
An Introduction to Partial Evaluation
– Neil D. Jones
- 1996
|
|
14
|
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction
– Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas
- 1998
|
|
12
|
A Constraint-based Partial Evaluator for Functional Logic Programs and its Application
– Laura Lafave
- 1998
|
|
7
|
The Many Disguises of Accumulation
– Eerke Boiten
- 1991
|
|
19
|
Partial Deduction of the Ground Representation and its Application to Integrity Checking
– Michael Leuschel, Bern Martens
- 1995
|
|
1
|
Advanced techniques in finite unfolding
– Bernhard Martens, Daniel De Schreye
|
|
25
|
Homeomorphic embedding for online termination of symbolic methods
– Michael Leuschel
- 2002
|
|
14
|
Fortran program specialization
– Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück
- 1994
|
|
31
|
Partial evaluation of numerical programs in Fortran
– Romana Baier, Robert Glück, Robert Zöchling
- 1994
|
