𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Cost-Sensitive Diagnosis of Declarative Programs

✍ Scribed by D. Ballis; M. Falaschi; C. Ferri; J. Hernández-Orallo; M.J. Ramírez-Quintana


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
215 KB
Volume
86
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Costing stepwise refinements of parallel
✍ Nils Ellmenreich; Christian Lengauer 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 626 KB

The idea of the stepwise refinement of a problem specification into an efficient target program dates back to the 1970. With the high-level programming languages available today, it is becoming practical to make every node of the refinement tree executable (and not just the leaves of the tree). Cons