A relational logic for higher-order programs.
Alejandro AguirreGilles BartheMarco GaboardiDeepak GargPierre-Yves StrubPublished in: Proc. ACM Program. Lang. (2017)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- dynamic logic
- relational databases
- database language
- low order
- modal logic
- logic programming
- relational data
- markov random field
- high order
- classical logic
- multi valued
- pairwise
- declarative semantics
- computer programs
- natural images
- programming language
- automated reasoning
- stable models
- probability theory
- computational properties
- multi relational
- predicate logic
- programs written
- object oriented
- functional programs
- anti unification
- databases