QuickSpec: A lightweight theory exploration tool for programmers (system demonstration)
Paper in proceeding, 2017
This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.
Theory exploration
Functional programming
Quick-spec
Author
Maximilian Algehed
Functional Programming
Koen Claessen
Software Technology, Group A
Moa Johansson
Software Technology, Group B
Nicholas Smallbone
Functional Programming
Haskell 2017 - Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017
38-39
9781450351829 (ISBN)
10th ACM SIGPLAN International Symposium on Haskell, Haskell 2017
Oxford, United Kingdom,
Oxford, United Kingdom,
Subject Categories (SSIF 2011)
Other Engineering and Technologies not elsewhere specified
Embedded Systems
Computer Systems
DOI
10.1145/3122955.3122960