✦ LIBER ✦

Linearity Analysis of Concurrent Logic Programs

✍ Scribed by Kazunori Ueda

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 76 KB
Volume: 30
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80638-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed concurrent linear logic prog

Distributed concurrent linear logic programming

✍ Naoki Kobayashi; Toshihiro Shimizu; Akinori Yonezawa 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 227 KB

We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation: location-dependence=independence of names and movement of computation. We ÿrst deÿne the syntax and semantics of a modal linear logic that is suit

Associative concurrent evaluation of log

Associative concurrent evaluation of logic programs

✍ Katsuhiko Nakamura 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 655 KB

The ‘Hoare logic’ of concurrent programs

✍ Leslie Lamport 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 864 KB

Continuation compilation for concurrent

Continuation compilation for concurrent logic programming

✍ B Kemp; P Soper; A King 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 913 KB

Constraint Satisfaction in Distributed C

Constraint Satisfaction in Distributed Concurrent Logic Programming

✍ HO-FUNG LEUNG; KEITH L. CLARK 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 602 KB

In constraint logic programming, unification is replaced by more general constraint satisfaction. To support constraint solving in a committed-choice concurrent logic programming language, the constraint solver also needs to determine the status of the 'ask'-constraints with respect to the current c

∏11-universality of some propositional l

∏11-universality of some propositional logics of concurrent programs

✍ M.K. Valiev 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 686 KB