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)

0362-1340 (ISSN)

Vol. 52 10 38-39

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1145/3122955.3122960

Mer information

Senast uppdaterat

2020-06-24