Login / Signup
Continuation Passing Transformation and Abstract Interpretation.
Juarez Muylaert Filho
Geoffrey L. Burn
Published in:
Theory and Formal Methods (1993)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
dynamic analysis
active databases
reasoning engine
information systems
databases
management system
source code
data management
database design