%0 Conference Paper %1 conf/sas/NiedzielskiRGP09 %A Niedzielski, David %A von Ronne, Jeffery %A Gampe, Andreas %A Psarris, Kleanthis %B SAS %D 2009 %E Palsberg, Jens %E Su, Zhendong %I Springer %K dblp %P 137-153 %T A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. %U http://dblp.uni-trier.de/db/conf/sas/sas2009.html#NiedzielskiRGP09 %V 5673 %@ 978-3-642-03236-3

@inproceedings{conf/sas/NiedzielskiRGP09, added-at = {2017-06-05T00:00:00.000+0200}, author = {Niedzielski, David and von Ronne, Jeffery and Gampe, Andreas and Psarris, Kleanthis}, biburl = {https://www.bibsonomy.org/bibtex/2918f4752963d89aa883bc83bf7e86ca6/dblp}, booktitle = {SAS}, crossref = {conf/sas/2009}, editor = {Palsberg, Jens and Su, Zhendong}, ee = {https://doi.org/10.1007/978-3-642-03237-0_11}, interhash = {cfbb038fa525eac6fe232c7973d2da5e}, intrahash = {918f4752963d89aa883bc83bf7e86ca6}, isbn = {978-3-642-03236-3}, keywords = {dblp}, pages = {137-153}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:34:34.000+0200}, title = {A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2009.html#NiedzielskiRGP09}, volume = 5673, year = 2009 }