Robert Clarisó, Jordi Cortadella
The Octahedron Abstract Domain
SAS, 2004.
@inproceedings{SAS-2004-ClarisoC, author = "Robert Clarisó and Jordi Cortadella", booktitle = "{Proceedings of the 11th International Static Analysis Symposium}", doi = "10.1007/978-3-540-27864-1_23", isbn = "3-540-22791-1", pages = "312--327", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{The Octahedron Abstract Domain}", volume = 3148, year = 2004, }