Search Sciweavers | Sciweavers

1097 search results - page 19 / 220

» Partial evaluation of Maple

click to vote

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

13 years 12 months ago

Download www.dina.kvl.dk

Neil D. Jones, Carsten K. Gomard, Peter Sestoft

claim paper

Read More »

click to vote

RTA
1998
Springer

68views Theoretical Computer Science» more RTA 1998»

Higher-Order Rewriting and Partial Evaluation

13 years 12 months ago

Download www.brics.dk

Olivier Danvy, Kristoffer Høgsbro Rose

claim paper

Read More »

click to vote

TIC
1998
Springer

90views System Software» more TIC 1998»

Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation

13 years 12 months ago

Download www.brics.dk

Vincent Balat, Olivier Danvy

claim paper

Read More »

click to vote

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

13 years 12 months ago

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

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 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers