Chris Marriott, Ana Cavalcanti
SCJ: Memory-Safety Checking without Annotations
FM, 2014.
@inproceedings{FM-2014-MarriottC, author = "Chris Marriott and Ana Cavalcanti", booktitle = "{Proceedings of the 19th International Symposium of Formal Methods}", doi = "10.1007/978-3-319-06410-9_32", isbn = "978-3-319-06409-3", pages = "465--480", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{SCJ: Memory-Safety Checking without Annotations}", volume = 8442, year = 2014, }