QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)

Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone. QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). In Iavor S. Diatchki, editor, Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017. pages 38-39, ACM, 2017. [doi]

Abstract

Abstract is missing.