QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)
Artikel i vetenskaplig tidskrift, 2017
This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.
QuickSpec
Computer Science
Theory Exploration
Functional Programming
Författare
Maximilian Algehed
Funktionell programmering
Koen Lindström Claessen
Funktionell programmering
Moa Johansson
Formella metoder
Nicholas Smallbone
Funktionell programmering
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
07308566 (ISSN)
Vol. 52 10 38-39Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
DOI
10.1145/3122955.3122960