Abstract diagnosis for timed concurrent constraint programs

DOI10.1017/S1471068411000135zbMath1222.68053arXiv1109.1587OpenAlexW2157152227MaRDI QIDQ3087437

Laura Titolo, Alicia Villanueva, Marco Comini

Publication date: 16 August 2011

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1109.1587

zbMATH Keywords

denotational semanticsabstract interpretationconcurrent constraint paradigmabstract diagnosis

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (8)

A program analysis framework for \textit{tccp} based on abstract interpretation ⋮ Abstract Diagnosis for tccp using a Linear Temporal Logic ⋮ Slicing concurrent constraint programs ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ A symbolic model for timed concurrent constraint programming ⋮ TCC, with History ⋮ Abstract Analysis of Universal Properties for tccp ⋮ Models and emerging trends of concurrent constraint programming

This page was built for publication: Abstract diagnosis for timed concurrent constraint programs