HMC: Verifying Functional Programs Using Abstract Interpreters.

Ranjit Jhala Rupak Majumdar Andrey Rybalchenko

Published in: CAV (2011)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
stochastic grammar
functional language
high level
general purpose
model checking
description language
functional programming
machine learning