BI-hyperdoctrines, higher-order separation logic, and abstraction.

Bodil Biering Lars Birkedal Noah Torp-Smith

Published in: ACM Trans. Program. Lang. Syst. (2007)

Keyphrases

higher order
higher order logic
lambda calculus
high order
business intelligence
bounded model checking
modal logic
pairwise
classical logic
low order
logic programming
high level
natural images
multi valued
proof theory
neural network
markov random field
database
deontic logic
big data
data abstraction
lower order