A Relationship Between Abstract Interpretation and Projection Analysis.

Geoffrey L. Burn

Published in: POPL (1990)

Keyphrases

abstract interpretation
static analysis
data analysis
termination analysis
database
model checking
databases
fine grained