Login / Signup
Higher-order Program Verification as Satisfiability Modulo Theories with Algebraic Data-types.
Nikolaj Bjørner
Kenneth L. McMillan
Andrey Rybalchenko
Published in:
CoRR (2013)
Keyphrases
</>
data types
higher order
satisfiability modulo theories
modulo theories
data model
data structure
user defined
database management systems
database systems
answer set programming
abstract data types
general purpose
data mining algorithms