An Algebraic Framework for Abstract Interpretation of Definite Programs.

R. S. Kemp Graem A. Ringwood

Published in: NACLP (1990)

Keyphrases

abstract interpretation
termination analysis
static analysis
source code
object oriented
active rules