Login / Signup
Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation.
Giuseppe Amato
Fosca Giannotti
Giovanni Mainetto
Published in:
SEBD (1994)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
programming language
model checking
active rules
natural language
information systems
relational databases
integrity constraints
modeling language
dynamic analysis