A framework for abstract interpretation of timed concurrent constraint programs.

Moreno Falaschi Carlos Olarte Catuscia Palamidessi

Published in: PPDP (2009)

Keyphrases

abstract interpretation
static analysis

termination analysis
relational databases

distributed systems
model checking

active rules