Login / Signup
Abstract Interpretation of the pi-Calculus.
Arnaud Venet
Published in:
LOMAPS (1996)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
dynamic analysis
reasoning engine
active databases
databases
case study
relational databases
query processing
integrity constraints
distributed databases