Please use this identifier to cite or link to this item:

http://hdl.handle.net/10609/109823
Title: The octahedron abstract domain (extended version)
Author: Clarisó Viladrosa, Robert  
Cortadella Fortuny, Jordi
Others: Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
Keywords: abstract interpretation
numerical abstract domains
relational abstract domains
convex polyhedra
Issue Date: 24-Nov-2006
Publisher: Science of Computer Programming
Citation: Clarisó, R. & Cortadella Fortuny, J. (2007). The Octahedron Abstract Domain (extended version). Science of Computer Programming, 64(1), 115-139. doi: 10.1016/j.scico.2006.03.009
Project identifier: info:eu-repo/grantAgreement/CICYT TIN 2004-07925
info:eu-repo/grantAgreement/AP2002-3862
Also see: https://doi.org/10.1016/j.scico.2006.03.009
Abstract: An interesting area in static analysis is the study of numerical properties. Complex properties can be analyzed using abstract interpretation, provided that an adequate abstract domain is defined. Each domain can represent and manipulate a family of properties, providing a different trade-off between the precision and complexity of the analysis. The contribution of this paper is a new numerical abstract domain called octahedron that represents constraints of the form . The implementation of octahedra is based on a new kind of decision diagram called Octahedron Decision Diagrams (OhDD).
Language: English
URI: http://hdl.handle.net/10609/109823
ISSN: 0167-6423MIAR
Appears in Collections:Articles
Articles

Share:
Export:
Files in This Item:
File Description SizeFormat 
Clariso_SCP_2006_Octahedron.pdf361.19 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons