Search: onr:"swepub:oai:research.chalmers.se:1f48779d-248d-44ec-8983-35980fe000f8" >
Making Random Judgm...
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
-
- Fetscher, B. (author)
- Northwestern University
-
- Lindström Claessen, Koen, 1975 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Palka, Michal, 1983 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
show more...
-
- Hughes, John, 1958 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Findler, R. B. (author)
- Northwestern University
-
show less...
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2015
- 2015
- English.
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. ; 9032, s. 383-405
- Related links:
-
http://dx.doi.org/10...
-
show more...
-
http://www.eecs.nort...
-
https://research.cha...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- This paper presents a generic method for randomly generating well-typed expressions. It starts from a specification of a typing judgment in PLT Redex and uses a specialized solver that employs randomness to find many different valid derivations of the judgment form. Our motivation for building these random terms is to more effectively falsify conjectures as part of the tool-support for semantics models specified in Redex. Accordingly, we evaluate the generator against the other available methods for Redex, as well as the best available custom well-typed term generator. Our results show that our new generator is much more effective than generation techniques that do not explicitly take types into account and is competitive with generation techniques that do, even though they are specialized to particular type-systems and ours is not.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Systemvetenskap, informationssystem och informatik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Information Systems (hsv//eng)
Publication and Content Type
- art (subject category)
- ref (subject category)
Find in a library
To the university's database