Sciweavers

7 search results - page 1 / 2
» pepm 1998
Sort
View
99
Voted
PEPM
1998
ACM
15 years 5 months ago
Logic Program Specialisation
Michael Leuschel
115
Voted
PEPM
1998
ACM
15 years 5 months ago
Advanced Logic Program Specialisation
Michael Leuschel
74
Voted
PEPM
1998
ACM
15 years 5 months ago
Introduction to Supercompilation
Morten Heine Sørensen, Robert Glück
71
Voted
PEPM
1998
ACM
15 years 5 months ago
Partial Evaluation for the Lambda Calculus
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
81
Voted
PEPM
1998
ACM
15 years 5 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