Sciweavers

7 search results - page 1 / 2
» pepm 1998
Sort
View
141
Voted
PEPM
1998
ACM
15 years 10 months ago
Logic Program Specialisation
Michael Leuschel
167
Voted
PEPM
1998
ACM
15 years 10 months ago
Advanced Logic Program Specialisation
Michael Leuschel
109
Voted
PEPM
1998
ACM
15 years 10 months ago
Introduction to Supercompilation
Morten Heine Sørensen, Robert Glück
111
Voted
PEPM
1998
ACM
15 years 10 months ago
Partial Evaluation for the Lambda Calculus
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
116
Voted
PEPM
1998
ACM
15 years 10 months ago
Eta-Redexes in Partial Evaluation
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
Jens Palsberg