Approximate Relational Hoare Logic for Continuous Random Samplings.

Published in: CoRR (2016)

Keyphrases

relational data
piecewise linear
relational databases
data model
relational learning
predicate logic
relational model
modal logic
logic programming
discrete space
database language
multi relational
automated reasoning
classical logic
relational structures
programming language
asynchronous circuits