Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity.

François Bourdoncle

Published in: PLILP (1990)

Keyphrases

abstract interpretation
termination analysis
static analysis
databases
high frequency
structured data
dynamic analysis
active rules
database
model checking
reasoning engine
evaluation method