Login / Signup
Smart Testing of Functional Programs in Isabelle.
Lukas Bulwahn
Published in:
LPAR (2012)
Keyphrases
</>
functional programs
term rewriting systems
lazy evaluation
stochastic grammar
logic programs
theorem prover
functional language
test cases