Abstract
This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.
- K. Claessen, J. Hughes, N. Smallbone. QuickSpec: guessing formal specifications using testing . Tests and Proofs (TAP), 2010. Google Scholar
Digital Library
- N. Smallbone, M. Johansson, K. Claessen, M. Algehed. Quick specifications for the busy programmer . Accepted for publication in the Journal of Functional Programming.Google Scholar
- M. Johansson, D. Rosén, N. Smallbone, K.Claessen. Hipster: integrating theory exploration in a proof assistant . Conference on Intelligent Computer Mathematics (CICM), 2014.Google Scholar
Cross Ref
- K. Claessen, M. Johansson, D. Rosén, N. Smallbone. Automating inductive proofs using theory exploration . Conference on Automated Deduction (CADE), 2013. Google Scholar
Digital Library
- K. Claessen, J. Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs . International Conference on Functional Programming (ICFP), 2000. Google Scholar
Digital Library
Index Terms
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
Recommendations
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
Haskell 2017: Proceedings of the 10th ACM SIGPLAN International Symposium on HaskellThis document gives the outline of a system demonstration for the QuickSpec theory exploration tool.
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing
IFL '20: Proceedings of the 32nd Symposium on Implementation and Application of Functional LanguagesWe present RoughSpec, a template-based extension of the theory exploration tool QuickSpec. QuickSpec uses testing to automatically discover equational properties about functions in a Haskell program. These properties can help the user understand the ...
A programming-by-demonstration tool for retargeting instructional systems
ICLS '96: Proceedings of the 1996 international conference on Learning sciencesAlthough intelligent learning environments have proven to be successful instructional tools, they have seen little commercial success. Part of the problem has been the difficulty of authoring them, even using authoring tools specialized to the task. We ...







Comments