The Racket virtual machine and randomized testing.
Saved in:
| Title: | The Racket virtual machine and randomized testing. |
|---|---|
| Authors: | Klein, Casey1, clklein@eecs.northwestern.edu, Flatt, Matthew2, mflatt@cs.utah.edu, Findler, Robert1, robby@eecs.northwestern.edu |
| Source: | Higher-Order & Symbolic Computation; Dec2012, Vol. 25 Issue 2-4, p209-253, 45p |
| Database: | Applied Science & Technology Source |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 118887768 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: The Racket virtual machine and randomized testing. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Klein%2C+Casey%22">Klein, Casey</searchLink><relatesTo>1</relatesTo>, <i>clklein@eecs.northwestern.edu</i><br /><searchLink fieldCode="AU" term="%22Flatt%2C+Matthew%22">Flatt, Matthew</searchLink><relatesTo>2</relatesTo>, <i>mflatt@cs.utah.edu</i><br /><searchLink fieldCode="AU" term="%22Findler%2C+Robert%22">Findler, Robert</searchLink><relatesTo>1</relatesTo>, <i>robby@eecs.northwestern.edu</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Higher-Order+%26+Symbolic+Computation%22">Higher-Order & Symbolic Computation</searchLink>; Dec2012, Vol. 25 Issue 2-4, p209-253, 45p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=118887768 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s10990-013-9091-1 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 45 StartPage: 209 Titles: – TitleFull: The Racket virtual machine and randomized testing. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Klein, Casey – PersonEntity: Name: NameFull: Flatt, Matthew – PersonEntity: Name: NameFull: Findler, Robert IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 12 Text: Dec2012 Type: published Y: 2012 Identifiers: – Type: issn-print Value: 13883690 Numbering: – Type: volume Value: 25 – Type: issue Value: 2-4 Titles: – TitleFull: Higher-Order & Symbolic Computation Type: main |
| ResultId | 1 |