%0 Journal Article %1 journals/spe/IrelandASC16 %A Ireland, Iain %A Amaral, José Nelson %A Silvera, Raúl %A Cui, Shimin %D 2016 %J Softw. Pract. Exp. %K dblp %N 11 %P 1571-1588 %T SafeType: detecting type violations for type-basedalias analysis of C. %U http://dblp.uni-trier.de/db/journals/spe/spe46.html#IrelandASC16 %V 46

@article{journals/spe/IrelandASC16, added-at = {2020-04-09T00:00:00.000+0200}, author = {Ireland, Iain and Amaral, José Nelson and Silvera, Raúl and Cui, Shimin}, biburl = {https://www.bibsonomy.org/bibtex/2b62aacea2075c943d2105407aef95a64/dblp}, ee = {https://doi.org/10.1002/spe.2388}, interhash = {4fd5f3b51ec9651b6cba8076c5c7d226}, intrahash = {b62aacea2075c943d2105407aef95a64}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 11, pages = {1571-1588}, timestamp = {2020-04-10T11:53:23.000+0200}, title = {SafeType: detecting type violations for type-basedalias analysis of C.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe46.html#IrelandASC16}, volume = 46, year = 2016 }