Sciweavers

6 search results - page 1 / 2

» pepm 1997

6

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

13 years 8 months ago

Resource-Bounded Partial Evaluation

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

4

PEPM
1997
ACM

88views Software Engineering» more PEPM 1997»

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

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

7

PEPM
1997
ACM

90views Software Engineering» more PEPM 1997»

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol

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

14

PEPM
1997
ACM

95views Software Engineering» more PEPM 1997»

Specialization of Lazy Functional Logic Programs

13 years 8 months ago

Specialization of Lazy Functional Logic Programs

Download users.dsic.upv.es

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

claim paper

Read More »

13

PEPM
1997
ACM

131views Software Engineering» more PEPM 1997»

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

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