Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Thu 7 Sep 2017 14:00 - 14:30 at L1 - Day 1, Session 4

QuickSpec is a tool that automatically finds equations for a given signature of Haskell functions. The tool has seen big success so far as a component of automated inductive theorem provers. We believe QuickSpec to be a useful tool for Haskell programmers as well. Specifications produced by QuickSpec can be used as the foundation of formal specifications for Haskell libraries. Our demo will show QuickSpec in action and demonstrate some recent features.

Thu 7 Sep

haskellsymp-2017-papers
14:00 - 15:00: Haskell 2017 - Day 1, Session 4 at L1
haskellsymp-2017-papers150478560000014:00 - 14:30
Demonstration
Maximilian AlgehedChalmers University of Technology, Sweden, Koen ClaessenChalmers University of Technology, Moa JohanssonChalmers University of Technology, Nicholas Smallbone
haskellsymp-2017-papers150478740000014:30 - 15:00
Talk