Last update: Sun Oct 15 02:16:54 MDT 2017
@Article{Klein:2012:RVM, author = "Casey Klein and Matthew Flatt and Robert Bruce Findler", title = "The {Racket} virtual machine and randomized testing", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "25", number = "2--4", pages = "209--253", month = dec, year = "2012", CODEN = "LSCOEX", DOI = "https://doi.org/10.1007/s10990-013-9091-1", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Thu Dec 8 13:59:27 MST 2016", bibsource = "http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib; http://www.math.utah.edu/pub/tex/bib/virtual-machines.bib", URL = "http://link.springer.com/accesspage/article/10.1007/s10990-013-9091-1; http://link.springer.com/article/10.1007/s10990-013-9091-1", acknowledgement = ack-nhfb, fjournal = "Higher-Order and Symbolic Computation", journal-URL = "http://link.springer.com/journal/10990", keywords = "MzScheme; Racket virtual machine and bytecode verifier; VLISP project", }