MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The octahedron abstract domain." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • The octahedron abstract domain  
  • by Robert Clarisó, Jordi Cortadella — 2004 — In Static Analysis Symposium (2004
  • …(2007):115-139. DOI: http://dx.doi.org/10.1016/j.scico.2006.03.009 ✣ Abstract The Octahedron Abstract Domain Robert…
  • Cited by 15 (0 self) – Add To MetaCart
  • Widening operators for weakly-relational numeric abstractions  
  • by Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella — 2005 — Static Analysis: Proceedings of the 12th International Symposium, volume 3672 of Lecture Notes in Computer Science
  • … domain [26], the ‘two variables per inequality’ abstract domain [33], the octahedron abstract domain [15…
  • Cited by 5 (2 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB