%0 Conference Paper %1 conf/tldi/GerakiosPS11 %A Gerakios, Prodromos %A Papaspyrou, Nikolaos %A Sagonas, Konstantinos %B TLDI %D 2011 %E Weirich, Stephanie %E Dreyer, Derek %I ACM %K dblp %P 15-28 %T A type and effect system for deadlock avoidance in low-level languages. %U http://dblp.uni-trier.de/db/conf/tldi/tldi2011.html#GerakiosPS11 %@ 978-1-4503-0484-9

@inproceedings{conf/tldi/GerakiosPS11, added-at = {2023-09-30T00:00:00.000+0200}, author = {Gerakios, Prodromos and Papaspyrou, Nikolaos and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/2bec06cbb274ed2616c62ba6d8b0de27f/dblp}, booktitle = {TLDI}, crossref = {conf/tldi/2011}, editor = {Weirich, Stephanie and Dreyer, Derek}, ee = {https://www.wikidata.org/entity/Q58967724}, interhash = {af66f6399fbd49528b3a9af42218b874}, intrahash = {bec06cbb274ed2616c62ba6d8b0de27f}, isbn = {978-1-4503-0484-9}, keywords = {dblp}, pages = {15-28}, publisher = {ACM}, timestamp = {2024-04-10T17:52:21.000+0200}, title = {A type and effect system for deadlock avoidance in low-level languages.}, url = {http://dblp.uni-trier.de/db/conf/tldi/tldi2011.html#GerakiosPS11}, year = 2011 }