QuickSpec: A lightweight theory exploration tool for programmers (system demonstration)
Paper i proceeding, 2017

This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.

Theory exploration

Functional programming

Quick-spec

Författare

Maximilian Algehed

Funktionell programmering

Koen Claessen

Programvaruteknik, Grupp A

Moa Johansson

Programvaruteknik, Grupp B

Nicholas Smallbone

Funktionell programmering

Haskell 2017 - Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017

38-39
9781450351829 (ISBN)

10th ACM SIGPLAN International Symposium on Haskell, Haskell 2017
Oxford, United Kingdom,

Ämneskategorier

Övrig annan teknik

Inbäddad systemteknik

Datorsystem

DOI

10.1145/3122955.3122960

Mer information

Senast uppdaterat

2024-01-03