Bornholt, James, and Torlak, Emina. Finding code that explodes under symbolic evaluation. Retrieved from https://par.nsf.gov/biblio/10081431. Proceedings of the ACM on Programming Languages 2.OOPSLA Web. doi:10.1145/3276519.
Bornholt, James, & Torlak, Emina. Finding code that explodes under symbolic evaluation. Proceedings of the ACM on Programming Languages, 2 (OOPSLA). Retrieved from https://par.nsf.gov/biblio/10081431. https://doi.org/10.1145/3276519
@article{osti_10081431,
place = {Country unknown/Code not available},
title = {Finding code that explodes under symbolic evaluation},
url = {https://par.nsf.gov/biblio/10081431},
DOI = {10.1145/3276519},
abstractNote = {},
journal = {Proceedings of the ACM on Programming Languages},
volume = {2},
number = {OOPSLA},
author = {Bornholt, James and Torlak, Emina},
}
Warning: Leaving National Science Foundation Website
You are now leaving the National Science Foundation website to go to a non-government website.
Website:
NSF takes no responsibility for and exercises no control over the views expressed or the accuracy of
the information contained on this site. Also be aware that NSF's privacy policy does not apply to this site.