@inproceedings{clariso04octahedron,
  author = "Robert Claris{\'o} and Jordi Cortadella",
  title = "The Octahedron Abstract Domain",
  booktitle = "11th Static Analysis Symposium (SAS'04)",
  pages = "312--327",
  month = aug, 
  year = "2004",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science", 
  volume = "3148" }