Verifying Safety of Functional Programs with Rosette/Unbound.

Dmitry Mordvinov Grigory Fedyukovich

Published in: CoRR (2017)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
model checking
stochastic grammar
artificial intelligence
functional programming
proof planning
logic programming
theorem proving