A calculus of logical relations for over- and underapproximating static analyses.

David A. Schmidt

Published in: Sci. Comput. Program. (2007)

Keyphrases

logical structure
relation algebra
relational calculus
cardinal directions
lambda calculus
semantic relations
information systems
database
truth values
algebraic structure
logical rules
expressive power
dynamic analysis
causal relations
qualitative spatial reasoning
logical representation
data sets