𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On-demand Evaluation by Program Transformation

✍ Scribed by María Alpuente; Santiago Escobar; Salvador Lucas

Book ID
108498337
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
298 KB
Volume
86
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Demand transformation analysis for concu
Demand transformation analysis for concurrent constraint programs
✍ Moreno Falaschi; Patrick Hicks; William Winsborough 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 309 KB

This paper presents a demand transformation analysis that maps a predicate's output demands to its input demands. This backward data¯ow analysis for concurrent constraint programs is constructed in the framework of abstract interpretation. In the context of stream parallelism, this analysis identi®e

The essence of program transformation by
The essence of program transformation by partial evaluation and driving
✍ Jones, Neil D. 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 German ⚖ 867 KB

This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity