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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Theory and practice of logic programming Ročník 15; číslo 3; s. 312 - 357
Hlavní autoři:	FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.05.2015 Cambridge University Press (CUP)
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!