A relational framework for abstract interpretation.

Alan Mycroft Neil D. Jones

Published in: Programs as Data Objects (1985)

Keyphrases

abstract interpretation
static analysis
termination analysis
relational databases
data model
test cases
relational model