Sciweavers

7 search results - page 1 / 2

» pepm 1998

17

PEPM
1998
ACM

92views Software Engineering» more PEPM 1998»

Logic Program Specialisation

13 years 10 months ago

Logic Program Specialisation

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

18

PEPM
1998
ACM

118views Software Engineering» more PEPM 1998»

Advanced Logic Program Specialisation

13 years 10 months ago

Advanced Logic Program Specialisation

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

11

PEPM
1998
ACM

87views Software Engineering» more PEPM 1998»

Introduction to Supercompilation

13 years 10 months ago

Introduction to Supercompilation

Download repository.readscheme.org

Morten Heine Sørensen, Robert Glück

claim paper

Read More »

14

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

13 years 10 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 »

16

PEPM
1998
ACM

83views Software Engineering» more PEPM 1998»

Eta-Redexes in Partial Evaluation

13 years 10 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 »