Abstract Interpretation by Dynamic Partitioning.

François Bourdoncle

Published in: J. Funct. Program. (1992)

Keyphrases

abstract interpretation
termination analysis
static analysis
dynamic analysis
query processing
dynamic environments
reasoning engine