✦ LIBER ✦

Semantics of a declarative language

✍ Scribed by G. Mints; E. Tyugu

Book ID: 113162940
Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 284 KB
Volume: 23
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(86)90115-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A declarative coordination language

✍ Paolo Ciancarini; Daniela Fogli; Mauro Gaspari 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 433 KB

Towards a declarative semantics of inher

Towards a declarative semantics of inheritance with exceptions

✍ Dianxiang Xu; Guoliang Zheng 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 605 KB

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

A declarative neural network description

A declarative neural network description language

✍ Thomas Korb; Andreas Zell 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 552 KB

Semantics of a hardware specification la

Semantics of a hardware specification language

✍ Tony Larsson 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 564 KB

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