%0 Conference Paper %1 conf/popl/Myreen10 %A Myreen, Magnus O. %B POPL %D 2010 %E Hermenegildo, Manuel V. %E Palsberg, Jens %I ACM %K dblp %P 107-118 %T Verified just-in-time compiler on x86. %U http://dblp.uni-trier.de/db/conf/popl/popl2010.html#Myreen10 %@ 978-1-60558-479-9

@inproceedings{conf/popl/Myreen10, added-at = {2023-10-21T00:00:00.000+0200}, author = {Myreen, Magnus O.}, biburl = {https://www.bibsonomy.org/bibtex/2bb794980308a3f8b0c776ba262581d1c/dblp}, booktitle = {POPL}, crossref = {conf/popl/2010}, editor = {Hermenegildo, Manuel V. and Palsberg, Jens}, ee = {https://www.wikidata.org/entity/Q122199281}, interhash = {a3204f4a41ce58f1909ba5b5a2877927}, intrahash = {bb794980308a3f8b0c776ba262581d1c}, isbn = {978-1-60558-479-9}, keywords = {dblp}, pages = {107-118}, publisher = {ACM}, timestamp = {2024-04-09T13:30:49.000+0200}, title = {Verified just-in-time compiler on x86.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2010.html#Myreen10}, year = 2010 }