Search Sciweavers | Sciweavers

3417 search results - page 22 / 684

» Visualizing Partial Evaluation

click to vote

PEPM
1999
ACM

96views Software Engineering» more PEPM 1999»

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

13 years 11 months ago

Download www.cs.bris.ac.uk

Germán Puebla, Manuel V. Hermenegildo, John...

claim paper

Read More »

click to vote

PPDP
1999
Springer

107views Programming Languages» more PPDP 1999»

A Semantic Account of Type-Directed Partial Evaluation

13 years 11 months ago

Download www.brics.dk

Andrzej Filinski

claim paper

Read More »

click to vote

FLOPS
1998
Springer

76views Automated Reasoning» more FLOPS 1998»

Online Type-Directed Partial Evaluation

13 years 11 months ago

Download repository.readscheme.org

Olivier Danvy

claim paper

Read More »

click to vote

PEPM
1998
ACM

85views Software Engineering» more PEPM 1998»

Partial Evaluation for the Lambda Calculus

13 years 11 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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers