Sökning: 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 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Claessen, Koen, 1975 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Johansson, Moa, 1981 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Smallbone, Nicholas, 1986 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa färre...
-
(creator_code:org_t)
- 2017-09-07
- 2017
- Engelska.
-
Ingår i: 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
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://research.cha...
-
https://research.cha...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- This document gives the outline of a system demonstration for the QuickSpec theory exploration tool.
Ämnesord
- 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)
Nyckelord
- Theory exploration
- Functional programming
- Quick-spec
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas