A Lattice for Abstract Interpretation of Dynamic (LISP-Like) Structures

Published in: Inf. Comput. (1992)

Keyphrases

abstract interpretation
learning theory
dynamic analysis
termination analysis
dynamic environments
case study
open source
active rules
high level