Declarative Diagnosis of Temporal Concurrent Constraint Programs

DOI10.1007/978-3-540-74610-2_19zbMATH Open1213.68204OpenAlexW1596616520MaRDI QIDQ3608660FDOQ3608660

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

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

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)

Cited In (7)

• Title not available (Why is that?)
• 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

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)