The octahedron abstract domain (extended version)

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/10609/109823

Títol:	The octahedron abstract domain (extended version)
Autoria:	Clarisó, Robert Cortadella Fortuny, Jordi
Altres:	Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
Citació:	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
Resum:	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).
Paraules clau:	interpretació abstracta dominis abstractes numèrics dominis relacionals abstractes políedre convex
DOI:	10.1016/j.scico.2006.03.009
Tipus de document:	info:eu-repo/semantics/article
Versió del document:	info:eu-repo/semantics/submittedVersion
Data de publicació:	24-nov-2006
Llicència de publicació:	http://creativecommons.org/licenses/by-nc-nd/3.0/es/
Apareix a les col·leccions:	Articles cientÍfics Articles