Sciweavers

7 search results - page 1 / 2

» pepm 1998

84

Voted

PEPM
1998
ACM

92views Software Engineering» more PEPM 1998»

Logic Program Specialisation

15 years 1 months ago

Logic Program Specialisation

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

91

PEPM
1998
ACM

118views Software Engineering» more PEPM 1998»

Advanced Logic Program Specialisation

15 years 1 months ago

Advanced Logic Program Specialisation

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

60

PEPM
1998
ACM

87views Software Engineering» more PEPM 1998»

Introduction to Supercompilation

15 years 1 months ago

Introduction to Supercompilation

Download repository.readscheme.org

Morten Heine Sørensen, Robert Glück

claim paper

Read More »

56

Voted

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

15 years 1 months ago

Partial Evaluation for the Lambda Calculus

Download www.dina.kvl.dk

Neil D. Jones, Carsten K. Gomard, Peter Sestoft

claim paper

Read More »

69

Voted

PEPM
1998
ACM

83views Software Engineering» more PEPM 1998»

Eta-Redexes in Partial Evaluation

15 years 1 months ago

Eta-Redexes in Partial Evaluation

Download www.cs.ucla.edu

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

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »