%0 Journal Article %1 journals/concurrency/RonneGNP09 %A von Ronne, Jeffery %A Gampe, Andreas %A Niedzielski, David %A Psarris, Kleanthis %D 2009 %J Concurr. Comput. Pract. Exp. %K dblp %N 1 %P 41-57 %T Safe bounds check annotations. %U http://dblp.uni-trier.de/db/journals/concurrency/concurrency21.html#RonneGNP09 %V 21

@article{journals/concurrency/RonneGNP09, added-at = {2020-03-02T00:00:00.000+0100}, author = {von Ronne, Jeffery and Gampe, Andreas and Niedzielski, David and Psarris, Kleanthis}, biburl = {https://www.bibsonomy.org/bibtex/2aa137b1e6cd0b4025539f9823ffc9c65/dblp}, ee = {https://doi.org/10.1002/cpe.1341}, interhash = {dd065be24c2a0d6e37ccd6b4301342b7}, intrahash = {aa137b1e6cd0b4025539f9823ffc9c65}, journal = {Concurr. Comput. Pract. Exp.}, keywords = {dblp}, number = 1, pages = {41-57}, timestamp = {2020-03-03T11:49:07.000+0100}, title = {Safe bounds check annotations.}, url = {http://dblp.uni-trier.de/db/journals/concurrency/concurrency21.html#RonneGNP09}, volume = 21, year = 2009 }