Abstract Analysis of Universal Properties for tccp

DOI10.1007/978-3-319-27436-2_10MaRDI QIDQ5743591zbMATH OpenOpenAlexFDO

Authors María del Mar Gallardo, Laura Titolo, A. Villanueva, Marco Comini

Publication date 5 February 2016

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-27436-2_10

zbMATH Keywords

abstract analysisconcurrent constraint paradigm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Property \((T)\) for noncommutative universal lattices
• Universal lattices and property \(\tau\)
• scientific article; zbMATH DE number 679836
• Asymptotic Abelianness, weak mixing, and property T
• The properties of generalized \(T\)-derivations
• On strict \(T\)-power invariant implications: properties and intersections
• On certain classes of TC semigroups
• \(T\)-theory: An overview
• Construction and properties of the t-invariant
• scientific article; zbMATH DE number 1304317

Cites work

• scientific article; zbMATH DE number 1332633 (Why is no real title available?)
• A semantic framework for the abstract model checking of tccp programs
• A timed concurrent constraint language.
• Abstract diagnosis for timed concurrent constraint programs
• Abstract interpretation of temporal concurrent constraint programs
• Automatic verification of timed concurrent constraint programs
• Precise widening operators for convex polyhedra
• Truly concurrent constraint programming

Cited in

(4)

• A program analysis framework for \textit{tccp} based on abstract interpretation
• A semantic framework for the abstract model checking of tccp programs
• Abstract model checking of \textsf{tccp} programs
• Abstract interpretation of temporal concurrent constraint programs

This page was built for publication: Abstract Analysis of Universal Properties for tccp

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