Abstract Analysis of Universal Properties for tccp
From MaRDI portal
Publication:5743591
DOI10.1007/978-3-319-27436-2_10zbMath1362.68044OpenAlexW2401785086MaRDI QIDQ5743591
Alicia Villanueva, Laura Titolo, María del Mar Gallardo, 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
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Cites Work
- Unnamed Item
- Truly concurrent constraint programming
- A timed concurrent constraint language.
- Precise widening operators for convex polyhedra
- A semantic framework for the abstract model checking of tccp programs
- Abstract diagnosis for timed concurrent constraint programs
- Abstract interpretation of temporal concurrent constraint programs
- Automatic verification of timed concurrent constraint programs
This page was built for publication: Abstract Analysis of Universal Properties for tccp