Search: onr:"swepub:oai:research.chalmers.se:7c0f64fc-952e-491b-bcc7-df7f4e763305" >
QuickSpec: A lightw...
QuickSpec: A lightweight theory exploration tool for programmers (system demonstration)
-
- Algehed, Maximilian, 1995 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Claessen, Koen, 1975 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Johansson, Moa, 1981 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
show more...
-
- Smallbone, Nicholas, 1986 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
show less...
-
(creator_code:org_t)
- 2017-09-07
- 2017
- English.
-
In: Haskell 2017 - Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017. - New York, NY, USA : ACM. ; 52:10, s. 38-39
- Related links:
-
https://doi.org/10.1...
-
show more...
-
https://research.cha...
-
https://research.cha...
-
https://research.cha...
-
show less...
Abstract
Subject headings
Close
- This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Annan teknik -- Övrig annan teknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Other Engineering and Technologies -- Other Engineering and Technologies not elsewhere specified (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- Theory exploration
- Functional programming
- Quick-spec
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
To the university's database