๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Declarative Debugging of Functional Logic Programs

โœ Scribed by M. Alpuente; F.J. Correa; M. Falaschi

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
477 KB
Volume
57
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

Cost-Sensitive Diagnosis of Declarative
Cost-Sensitive Diagnosis of Declarative Programs
โœ D. Ballis; M. Falaschi; C. Ferri; J. Hernรกndez-Orallo; M.J. Ramรญrez-Quintana ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 215 KB