Declarative Diagnosis of Temporal Concurrent Constraint Programs

DOI10.1007/978-3-540-74610-2_19zbMath1213.68204OpenAlexW1596616520MaRDI QIDQ3608660

Frank D. Valencia, Catuscia Palamidessi, Carlos Olarte, Moreno Falaschi

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74610-2_19

zbMATH Keywords

denotational semanticsspecification logic(modular) declarative debuggingtimed concurrent constraint programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Deriving Inverse Operators for Modal Logic ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Slicing concurrent constraint programs ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ Models and emerging trends of concurrent constraint programming

Uses Software

• TeaBag

This page was built for publication: Declarative Diagnosis of Temporal Concurrent Constraint Programs