%0 Journal Article %1 journals/jsw/GarochePT07 %A Garoche, Pierre-Loïc %A Pantel, Marc %A Thirioux, Xavier %D 2007 %J JSW %K dblp %N 3 %P 87-98 %T Abstract Interpretation-based Static Safety for Actors. %U http://dblp.uni-trier.de/db/journals/jsw/jsw2.html#GarochePT07 %V 2

@article{journals/jsw/GarochePT07, added-at = {2011-09-02T00:00:00.000+0200}, author = {Garoche, Pierre-Loïc and Pantel, Marc and Thirioux, Xavier}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24eb819052104edf8d4163ab9278c4d9f/dblp}, ee = {http://dx.doi.org/10.4304/jsw.2.3.87-98}, interhash = {b0bb0419ff0e37658669317e03716542}, intrahash = {4eb819052104edf8d4163ab9278c4d9f}, journal = {JSW}, keywords = {dblp}, number = 3, pages = {87-98}, timestamp = {2016-02-02T08:52:14.000+0100}, title = {Abstract Interpretation-based Static Safety for Actors.}, url = {http://dblp.uni-trier.de/db/journals/jsw/jsw2.html#GarochePT07}, volume = 2, year = 2007 }