About Synchronous Programming and Abstract Interpretation.

Nicolas Halbwachs

Published in: SAS (1994)

Keyphrases

abstract interpretation
termination analysis
asynchronous communication
static analysis
model checking
programming language
active rules
reasoning engine
active databases
dynamic analysis