%0 Journal Article %1 journals/scp/GerakiosPS14 %A Gerakios, Prodromos %A Papaspyrou, Nikolaos %A Sagonas, Konstantinos %D 2014 %J Sci. Comput. Program. %K dblp %P 223-263 %T Static safety guarantees for a low-level multithreaded language with regions. %U http://dblp.uni-trier.de/db/journals/scp/scp80.html#GerakiosPS14 %V 80

@article{journals/scp/GerakiosPS14, added-at = {2023-09-30T00:00:00.000+0200}, author = {Gerakios, Prodromos and Papaspyrou, Nikolaos and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/2d8800751ff3533483db1eaaadbd36f9f/dblp}, ee = {https://www.wikidata.org/entity/Q58967489}, interhash = {bee97cc305c85e09aaee75a501939c1a}, intrahash = {d8800751ff3533483db1eaaadbd36f9f}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {223-263}, timestamp = {2024-04-09T05:28:39.000+0200}, title = {Static safety guarantees for a low-level multithreaded language with regions.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp80.html#GerakiosPS14}, volume = 80, year = 2014 }