%0 Conference Paper %1 conf/pldi/HenzingerJM04 %A Henzinger, Thomas A. %A Jhala, Ranjit %A Majumdar, Rupak %B PLDI %D 2004 %E Pugh, William W. %E Chambers, Craig %I ACM %K dblp %P 1-13 %T Race checking by context inference. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2004.html#HenzingerJM04 %@ 1-58113-807-5

@inproceedings{conf/pldi/HenzingerJM04, added-at = {2021-06-25T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Jhala, Ranjit and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/2107b08efdd8eeafc4c9aeb3e4c32de53/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2004}, editor = {Pugh, William W. and Chambers, Craig}, ee = {https://doi.org/10.1145/996893.996844}, interhash = {a7c114fa23b29bdfd2500a14d63ca673}, intrahash = {107b08efdd8eeafc4c9aeb3e4c32de53}, isbn = {1-58113-807-5}, keywords = {dblp}, pages = {1-13}, publisher = {ACM}, timestamp = {2024-04-09T18:58:51.000+0200}, title = {Race checking by context inference.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2004.html#HenzingerJM04}, year = 2004 }