Abstract Analysis of Universal Properties for tccp

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

zbMATH Keywords

abstract analysisconcurrent constraint paradigm

Mathematics Subject Classification ID

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

Related Items (1)

A program analysis framework for \textit{tccp} based on abstract interpretation

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