Search Sciweavers | Sciweavers

1090 search results - page 19 / 218

» Type-Directed Partial Evaluation

click to vote

LOPSTR
2009
Springer

218views Automated Reasoning» more LOPSTR 2009»

Towards Scalable Partial Evaluation of Declarative Programs

14 years 2 months ago

Download users.dsic.upv.es

Germán Vidal

claim paper

Read More »

click to vote

PADO
2001
Springer

104views Programming Languages» more PADO 2001»

Partial Evaluation for Class-Based Object-Oriented Languages

13 years 12 months ago

Download www.mip.sdu.dk

Ulrik Pagh Schultz

claim paper

Read More »

click to vote

REFLECTION
2001
Springer

144views Programming Languages» more REFLECTION 2001»

Removing Reflection from Java Programs Using Partial Evaluation

13 years 12 months ago

Download ilab1.korea.ac.kr

Jung Gyu Park, Arthur H. Lee

claim paper

Read More »

click to vote

AC
2000
Springer

72views Software Engineering» more AC 2000»

Normalization and Partial Evaluation

13 years 12 months ago

Download www.diku.dk

Peter Dybjer, Andrzej Filinski

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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers