Modular Verification of Higher-Order Functional Programs.

Ryosuke Sato Naoki Kobayashi

Published in: ESOP (2017)

Keyphrases

functional programs
higher order
term rewriting systems
logic programs
lazy evaluation
stochastic grammar
pairwise
model checking
functional language
logic programming
data warehouse
general purpose
data management
temporal logic
functional programming