Finite failures and partial computations in concurrent logic languages

DOI10.1016/0304-3975(90)90061-LMaRDI QIDQ915476zbMATH OpenOpenAlexWikidataFDO

Authors M. Falaschi, Giorgio Levi

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(90)90061-l

zbMATH Keywords

commit operatorconcurrencyconcurrent logic languagesparallel computation ruleparallelism

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 3951990
• Semantic models for concurrent logic languages
• scientific article; zbMATH DE number 3958697
• Finite failure is and-compositional
• scientific article; zbMATH DE number 4050951

Cites work

• Contributions to the Theory of Logic Programming
• Declarative modeling of the operational behavior of logic languages
• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
• Fundamentals of artificial intelligence. An advanced course
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 41233 (Why is no real title available?)
• scientific article; zbMATH DE number 193216 (Why is no real title available?)
• PARLOG: parallel programming in logic

Cited in

(6)

• Bottom-up abstract interpretation of logic programs
• An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
• A theory of observables for logic programs
• scientific article; zbMATH DE number 3951990 (Why is no real title available?)
• Finite failure is and-compositional
• scientific article; zbMATH DE number 4197405 (Why is no real title available?)

Describes a project that uses

Uses Software

• PARLOG
• GHC

This page was built for publication: Finite failures and partial computations in concurrent logic languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q915476)