Sciweavers

6 search results - page 1 / 2

» pepm 1997

141

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

15 years 10 months ago

Resource-Bounded Partial Evaluation

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

121

PEPM
1997
ACM

88views Software Engineering» more PEPM 1997»

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

15 years 10 months ago

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Download www.brics.dk

Olivier Danvy, Ulrik Pagh Schultz

claim paper

Read More »

135

PEPM
1997
ACM

90views Software Engineering» more PEPM 1997»

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol

15 years 10 months ago

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol

Download hal.inria.fr

Gilles Muller, Eugen-Nicolae Volanschi, Renaud Mar...

claim paper

Read More »

153

PEPM
1997
ACM

95views Software Engineering» more PEPM 1997»

Specialization of Lazy Functional Logic Programs

15 years 10 months ago

Specialization of Lazy Functional Logic Programs

Download users.dsic.upv.es

María Alpuente, Moreno Falaschi, Pascual Ju...

claim paper

Read More »

172

PEPM
1997
ACM

131views Software Engineering» more PEPM 1997»

A Type-directed, On-line, Partial Evaluator for a Polymorphic Language

15 years 10 months ago

A Type-directed, On-line, Partial Evaluator for a Polymorphic Language

Download repository.readscheme.org

Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...

Tim Sheard

claim paper

Read More »

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