Declarative Diagnosis of Temporal Concurrent Constraint Programs

DOI10.1007/978-3-540-74610-2_19MaRDI QIDQ3608660zbMATH OpenOpenAlexFDO

Authors Carlos Olarte, Catuscia Palamidessi, Frank D. Valencia, M. 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

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

Recommendations

• Abstract diagnosis for timed concurrent constraint programs
• scientific article; zbMATH DE number 2080065
• scientific article; zbMATH DE number 2087421
• Proving correctness of timed concurrent constraint programs
• scientific article; zbMATH DE number 1696892

Cited in

(7)

• scientific article; zbMATH DE number 2080065 (Why is no real title available?)
• Abstract diagnosis for tccp using a linear temporal logic
• Deriving inverse operators for modal logic
• Abstract diagnosis for timed concurrent constraint programs
• Models and emerging trends of concurrent constraint programming
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Abstract interpretation of temporal concurrent constraint programs

Describes a project that uses

Uses Software

• TeaBag

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

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