Nondeterminism and infinite computations in constraint programming

DOI10.1016/0304-3975(95)00047-ZzbMath0872.68103OpenAlexW2033431741MaRDI QIDQ671989

Frank S. de Boer, Catuscia Palamidessi, Alessandra Di Pierro

Publication date: 27 February 1997

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

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00047-z

zbMATH Keywords

constraint logic programmingnondeterminism and infinite behaviorsemantics of concurrent constraint programming

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Deriving Inverse Operators for Modal Logic ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ A Proof Theoretic Study of Soft Concurrent Constraint Programming ⋮ Slicing concurrent constraint programs ⋮ Unnamed Item ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Modeling biological systems in stochastic concurrent constraint programming ⋮ Linear Structures for Concurrency in Probabilistic Programming Languages ⋮ Probabilistic Confinement in a Declarative Framework ⋮ Decidability of infinite-state timed CCP processes and first-order LTL ⋮ Real number computation with committed choice logic programming languages ⋮ Characterizing right inverses for spatial constraint systems with applications to modal logic ⋮ Reasoning about distributed information with infinitely many agents ⋮ A fully abstract semantics for concurrent constraint programming ⋮ An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. ⋮ Models and emerging trends of concurrent constraint programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Declarative modeling of the operational behavior of logic languages
• Contributions to the semantics of logic perpetual processes
• Semantic models for concurrent logic languages
• Concrete domains
• Confluence in concurrent constraint programming
• Truly concurrent constraint programming
• Toward a declarative semantics for infinite objects in logic programming
• The Semantics of Predicate Logic as a Programming Language
• Processes and the denotational semantics of concurrency