%0 Conference Paper %1 conf/pado/ChinKX01 %A Chin, Wei-Ngan %A Khoo, Siau-Cheng %A Xu, Dana N. %B PADO %D 2001 %E Danvy, Olivier %E Filinski, Andrzej %I Springer %K dblp %P 2-24 %T Deriving Pre-conditions for Array Bound Check Elimination. %U http://dblp.uni-trier.de/db/conf/pado/pado2001.html#ChinKX01 %V 2053 %@ 3-540-42068-1

@inproceedings{conf/pado/ChinKX01, added-at = {2017-05-23T00:00:00.000+0200}, author = {Chin, Wei-Ngan and Khoo, Siau-Cheng and Xu, Dana N.}, biburl = {https://www.bibsonomy.org/bibtex/236a3b529064ca78be38b3fe52c4f6af9/dblp}, booktitle = {PADO}, crossref = {conf/pado/2001}, editor = {Danvy, Olivier and Filinski, Andrzej}, ee = {https://doi.org/10.1007/3-540-44978-7_2}, interhash = {7cd3a0e503b1b2809da58043a3de0435}, intrahash = {36a3b529064ca78be38b3fe52c4f6af9}, isbn = {3-540-42068-1}, keywords = {dblp}, pages = {2-24}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:28:07.000+0200}, title = {Deriving Pre-conditions for Array Bound Check Elimination.}, url = {http://dblp.uni-trier.de/db/conf/pado/pado2001.html#ChinKX01}, volume = 2053, year = 2001 }