Abstract interpretation of temporal concurrent constraint programs

Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e., systems that continuously interact with the environment. The universal tcc formalism (utcc) is an extension of tcc with the ability to express mobility. Here m...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 15; no. 3; pp. 312 - 357
Main Authors:	FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.05.2015 Cambridge University Press (CUP)
Subjects:	Computer Science Data flow analysis Logic Logic in Computer Science Logic programming Mobile communication systems Regular Papers Reuse Secrecy aspects Security Semantics abstract interpretation process calculi timed concurrent constraint programming reactive systems denotational semantics
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!