𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Debugging Scheme for Functional Logic Programs

✍ Scribed by María Alpuente; Franciso Correa; Moreno Falaschi

Book ID
108498246
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
327 KB
Volume
64
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

DDS: A declarative debugging system for
DDS: A declarative debugging system for functional programs
✍ Naohisa Takahashi; Satoshi Ono 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 908 KB

## Abstract This paper describes the outline and implementation of the declarative debugging system DDS. The purpose of DDS is to provide the following debugging system for the functional program without a side effect: (1) The programmer specifies the result of execution and the intermediate result