𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Declarative Debugging System for Lazy Functional Logic Programs

✍ Scribed by Rafael Caballero; Mario Rodríguez-Artalejo

Book ID
108498249
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
838 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

A declarative semantics for depth-first
A declarative semantics for depth-first logic programs
✍ Birgit Elbl 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 438 KB

Depth-®rst evaluation causes a gap between the result of the computation and the classical declarative semantics for logic programs. The paper presents a new semantics for logic programs closing that gap. Although not classical, this semantics, called biquantale semantics, is declarative, since it i