Search Sciweavers | Sciweavers

2049 search results - page 24 / 410

» Normalization and Partial Evaluation

163

click to vote

REFLECTION
2001
Springer

144views Programming Languages» more REFLECTION 2001»

Removing Reflection from Java Programs Using Partial Evaluation

15 years 7 months ago

Download ilab1.korea.ac.kr

Jung Gyu Park, Arthur H. Lee

claim paper

Read More »

click to vote

PEPM
1999
ACM

96views Software Engineering» more PEPM 1999»

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

15 years 7 months ago

Download www.cs.bris.ac.uk

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

claim paper

Read More »

107

click to vote

PPDP
1999
Springer

107views Programming Languages» more PPDP 1999»

A Semantic Account of Type-Directed Partial Evaluation

15 years 7 months ago

Download www.brics.dk

Andrzej Filinski

claim paper

Read More »

104

click to vote

FLOPS
1998
Springer

76views Automated Reasoning» more FLOPS 1998»

Online Type-Directed Partial Evaluation

15 years 7 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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers