QuickSpec: A lightweight theory exploration tool for programmers (system demonstration)
Paper i proceeding, 2017
This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.
Theory exploration
Functional programming
Quick-spec
Författare
Maximilian Algehed
Funktionell programmering
Koen Claessen
Programvaruteknik, Grupp A
Moa Johansson
Programvaruteknik, Grupp B
Nicholas Smallbone
Funktionell programmering
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,
Ämneskategorier
Övrig annan teknik
Inbäddad systemteknik
Datorsystem
DOI
10.1145/3122955.3122960