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