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.
Functional Programming
Computer Science
QuickSpec
Theory Exploration
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
Data- och informationsvetenskap
DOI
10.1145/3122955.3122960