Login / Signup

Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.

Koen ClaessenColin RuncimanOlaf ChitilJohn HughesMalcolm Wallace
Published in: Advanced Functional Programming (2002)
Keyphrases
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • logic programs
  • stochastic grammar
  • functional language
  • database
  • data mining
  • artificial intelligence
  • database systems
  • test cases