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

(modular) declarative debuggingdenotational semanticsspecification logictimed 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

(8)

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

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)