Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Predicate logic / Reduction strategy / Operational semantics / Robert Bruce Findler / Free variables and bound variables / Eval / Scheme / Software engineering / Computing / Programming language theory


Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago
Add to Reading List

Document Date: 2012-08-10 19:22:01

Open Document

File Size: 418,85 KB

Share Result on Facebook

/

Facility

terminal E / The complex / PLT Redex Casey Klein Robert Bruce Findler University of Chicago / /

IndustryTerm

search space corresponding / bug search space / function applications / search space sizes / formal systems / software engineers / search space / random test case generation tool / search space size / /

Organization

University of Chicago / California Polytechnic State University / /

/

Position

Theory General / Redex programmer / model / where appropriate / designer / Evaluator / /

ProgrammingLanguage

Haskell / C / PLT Scheme / Prolog / L / /

Technology

Functional Programming / html / ASCII / GUI / /

URL

http /

SocialTag