Connecting Higher-Order Separation Logic to a First-Order Outside World.

William Mansky Wolf Honoré Andrew W. Appel

Published in: ESOP (2020)

Keyphrases

higher order
higher order logic
lambda calculus
natural images
high order
linear temporal logic
multi valued

pairwise
logic programming
markov random field
predicate calculus
low order
general logic programs
world model

automated reasoning
classical logic
predicate logic
lower order
logical framework
computational properties
probabilistic logic

horn clauses
model theoretic
conditional random fields
logic programs
programming language
knowledge base