✦ LIBER ✦

Logic programs with exceptions

✍ Scribed by Robert A. Kowalski; Fariba Sadri

Book ID: 112976757
Publisher: Springer
Year: 1991
Tongue: English
Weight: 590 KB
Volume: 9
Category: Article
ISSN: 0288-3635
DOI: 10.1007/bf03037170

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functional semantics of programs with ex

Functional semantics of programs with exceptions

✍ Jean-Chrysostome Bolot; Pankaj Jalote 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 964 KB

Programming with exceptions in JCilk

✍ John S. Danaher; I.-Ting Angelina Lee; Charles E. Leiserson 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 553 KB

JCilk extends the serial subset of the Java language by importing the fork-join primitives spawn and sync from the Cilk multithreaded language, thereby providing call-return semantics for multithreaded subcomputations. In addition, JCilk transparently integrates Java's exception handling with multit

Constructing a program with exceptions

✍ K. Rustan; M. Leino 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 395 KB

Logic Programs with Ordered Disjunction

✍ Gerhard Brewka; Ilkka Niemelä; Tommi Syrjänen 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 207 KB

Equivalent logic programs and symmetric

Equivalent logic programs and symmetric homogeneous forms of logic programs with equality

✍ Kwok Hung Chan 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 790 KB

Propositional dynamic logic with recursi

Propositional dynamic logic with recursive programs

✍ Christof Löding; Carsten Lutz; Olivier Serre 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 301 KB