ESVERIFY: Verifying Dynamically-Typed Higher-Order Functional Programs by SMT Solving.

Christopher Schuster Sohum Banerjea Cormac Flanagan

Published in: IFL (2018)

Keyphrases

higher order
functional programs
lambda calculus
term rewriting systems
pairwise
lazy evaluation
functional language
stochastic grammar
model checking
databases
relational databases
general purpose
logic programs
distributed databases
statistical machine translation