Abstract interpretation of temporal concurrent constraint programs

DOI10.1017/S1471068413000641zbMath1379.68060arXiv1312.2552OpenAlexW2046682249MaRDI QIDQ4592982

Carlos Olarte, Catuscia Palamidessi, Moreno Falaschi

Publication date: 9 November 2017

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

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

zbMATH Keywords

denotational semanticsreactive systemsprocess calculiabstract interpretationtimed concurrent constraint programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)

Related Items (4)

A program analysis framework for \textit{tccp} based on abstract interpretation ⋮ Slicing concurrent constraint programs ⋮ Abstract Analysis of Universal Properties for tccp ⋮ A logical and graphical framework for reaction systems

Uses Software

• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nondeterminism and infinite computations in constraint programming
• The Esterel synchronous programming language: Design, semantics, implementation
• A calculus of mobile processes. I
• Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings
• Enumeration of success patterns in logic programs
• Constraint logic programming with dynamic scheduling: A semantics based on closure operators
• Confluence in concurrent constraint programming
• Truly concurrent constraint programming
• Two classes of Boolean functions for dependency analysis
• A timed concurrent constraint language.
• Linear concurrent constraint programming: Operational and phase semantics
• Models and emerging trends of concurrent constraint programming
• Abstract diagnosis for timed concurrent constraint programs
• Generalized semantics and abstract interpretation for constraint logic programs
• Declarative Diagnosis of Temporal Concurrent Constraint Programs
• On the security of public key protocols
• Abstract interpretation and application to logic programs
• Design, implementation, and evaluation of the constraint language cc(FD)
• A confluent semantic basis for the analysis of concurrent constraint logic programs
• Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
• Closures and Modules Within Linear Logic Concurrent Constraint Programming
• Automatic verification of timed concurrent constraint programs
• Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8--12, 2001. Proceedings

This page was built for publication: Abstract interpretation of temporal concurrent constraint programs