partial evaluation techniques

DAGSTUHL
1996

102views Software Engineering» more DAGSTUHL 1996»

An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs

14 years 6 days ago

This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...

Sandrine Blazy, Philippe Facon

claim paper

Read More »

click to vote

LOPSTR
2004
Springer

144views Automated Reasoning» more LOPSTR 2004»

Fully Automatic Binding-Time Analysis for Prolog

14 years 4 months ago

Download reference.kfupm.edu.sa

Oﬄine partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...

Stephen-John Craig, John P. Gallagher, Michael Leu...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers