PEPM 1997 | Sciweavers

14

click to vote

PEPM
1997
ACM

95views Software Engineering» more PEPM 1997»

Specialization of Lazy Functional Logic Programs

13 years 8 months ago

Download users.dsic.upv.es

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

claim paper

Read More »

13

click to vote

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

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 »

7

click to vote

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

Download hal.inria.fr

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

claim paper

Read More »

6

click to vote

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

13 years 8 months ago

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

13

click to vote

PEPM
1997
ACM

195views Software Engineering» more PEPM 1997»

Annotation-Directed Run-Time Specialization in C

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

4

click to vote

PEPM
1997
ACM

88views Software Engineering» more PEPM 1997»

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

13 years 8 months ago

Download www.brics.dk

Olivier Danvy, Ulrik Pagh Schultz

claim paper