✦ LIBER ✦

Reduction Strategies for Declarative Programming

✍ Scribed by Michael Hanus

Book ID: 104444676
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 215 KB
Volume: 57
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00273-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Decl

[Lecture Notes in Computer Science] Declarative Programming for Knowledge Management Volume 4369 || Railway Scheduling with Declarative Constraint Programming

✍ Umeda, Masanobu; Wolf, Armin; Bartenstein, Oskar; Geske, Ulrich; Seipel, Dietmar 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 963 KB

A verification framework for agent progr

A verification framework for agent programming with declarative goals

✍ F.S. de Boer; K.V. Hindriks; W. van der Hoek; J.-J.Ch. Meyer 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 286 KB

A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming f

Toward a declarative semantics for infin

Toward a declarative semantics for infinite objects in logic programming

✍ William G. Golson 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 998 KB

Paraconsistent Declarative Semantics for

Paraconsistent Declarative Semantics for Extended Logic Programs

✍ Ofer Arieli 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 264 KB

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