PEPM 1997 | Sciweavers

43

click to vote

PEPM
1997
ACM

95views Software Engineering» more PEPM 1997»

Specialization of Lazy Functional Logic Programs

14 years 2 months ago

Download users.dsic.upv.es

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

claim paper

Read More »

33

click to vote

PEPM
1997
ACM

131views Software Engineering» more PEPM 1997»

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

14 years 3 months ago

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 »

29

click to vote

PEPM
1997
ACM

90views Software Engineering» more PEPM 1997»

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol

14 years 3 months ago

Download hal.inria.fr

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

claim paper

Read More »

34

click to vote

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

14 years 3 months ago

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

41

click to vote

PEPM
1997
ACM

195views Software Engineering» more PEPM 1997»

Annotation-Directed Run-Time Specialization in C

14 years 3 months ago

Download www.cs.pitt.edu

We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...

Brian Grant, Markus Mock, Matthai Philipose, Craig...

claim paper

Read More »

18

click to vote

PEPM
1997
ACM

88views Software Engineering» more PEPM 1997»

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

14 years 3 months ago

Download www.brics.dk

Olivier Danvy, Ulrik Pagh Schultz

claim paper