About Synchronous Programming and Abstract Interpretation.

Nicolas Halbwachs

Published in: Sci. Comput. Program. (1998)

Keyphrases

abstract interpretation
termination analysis
asynchronous communication
static analysis
model checking
active rules
active databases
programming language
dynamic analysis
reasoning engine
databases
data management
database
open source
spatial data