The octahedron abstract domain (2004)
Cached
Download Links
- [www.lsi.upc.es]
- [www.lsi.upc.es]
- [www.lsi.upc.edu]
- [www.lsi.upc.edu]
- DBLP
Other Repositories/Bibliography
by
Robert Clarisó
,
Jordi Cortadella
| Venue: | In Static Analysis Symposium (2004 |
| Citations: | 31 - 1 self |
BibTeX
@INPROCEEDINGS{Clarisó04theoctahedron,
author = {Robert Clarisó and Jordi Cortadella},
title = {The octahedron abstract domain},
booktitle = {In Static Analysis Symposium (2004},
year = {2004},
pages = {312--327},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
NOTICE: This is the author’s version of a work that was accepted for publication in Science of Computer Programming. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. A definitive version was subsequently published in Science of Computer Programming, 64(2007):115-139.
