%0 Conference Paper %1 conf/ecoop/FlanaganF13 %A Flanagan, Cormac %A Freund, Stephen N. %B ECOOP %D 2013 %E Castagna, Giuseppe %I Springer %K dblp %P 255-280 %T RedCard: Redundant Check Elimination for Dynamic Race Detectors. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2013.html#FlanaganF13 %V 7920 %@ 978-3-642-39037-1

@inproceedings{conf/ecoop/FlanaganF13, added-at = {2017-05-21T00:00:00.000+0200}, author = {Flanagan, Cormac and Freund, Stephen N.}, biburl = {https://www.bibsonomy.org/bibtex/286367394464edcf8de45363c3210cd15/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2013}, editor = {Castagna, Giuseppe}, ee = {https://doi.org/10.1007/978-3-642-39038-8_11}, interhash = {72021f828959f6e5bdfd7df4c403796c}, intrahash = {86367394464edcf8de45363c3210cd15}, isbn = {978-3-642-39037-1}, keywords = {dblp}, pages = {255-280}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:02:37.000+0200}, title = {RedCard: Redundant Check Elimination for Dynamic Race Detectors.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2013.html#FlanaganF13}, volume = 7920, year = 2013 }