Extracting Program Logics From Abstract Interpretations Defined by Logical Relations.

David A. Schmidt

Published in: MFPS (2007)

Keyphrases

binary relations
truth values
logical representation
logical structure
inference rules
database
low level
real numbers
user defined
propositional dynamic logic
algebraic operations
expressive power
test cases
higher level
logic programs
data model
database systems
data sets