Login / Signup
Abstract Interpretation of Trace Semantics for Concurrent Calculi.
Roberto Barbuti
Nicoletta De Francesco
Antonella Santone
Gigliola Vaglini
Published in:
Inf. Process. Lett. (1999)
Keyphrases
</>
abstract interpretation
active rules
termination analysis
active databases
static analysis
formal semantics
logic programming
semantic information
integrity constraints
source code
conceptual model
object oriented databases
reasoning engine
model checking
dynamic analysis