QuickSpec: A Lightweight Theory Exploration Tool for Programmers
Paper i proceeding, 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)

0362-1340 (ISSN)

Vol. 52 38-39

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1145/3122955.3122960

ISBN

9781450351829