The octahedron abstract domain (extended version)

Clarisó, Robert; Cortadella Fortuny, Jordi

Please use this identifier to cite or link to this item: http://hdl.handle.net/10609/109823

Full metadata record

DC Field	Value	Language
dc.contributor.author	Clarisó, Robert	-
dc.contributor.author	Cortadella Fortuny, Jordi	-
dc.contributor.other	Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)	-
dc.date.accessioned	2020-02-18T08:23:55Z	-
dc.date.available	2020-02-18T08:23:55Z	-
dc.date.issued	2006-11-24	-
dc.identifier.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	es
dc.identifier.issn	0167-6423MIAR	-
dc.identifier.uri	http://hdl.handle.net/10609/109823	-
dc.description.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).	en
dc.format.mimetype	application/pdf	-
dc.language.iso	eng	-
dc.publisher	Science of Computer Programming	-
dc.relation.ispartof	Science of Computer Programming, 2007, 64(1)	-
dc.relation.uri	https://doi.org/10.1016/j.scico.2006.03.009	-
dc.rights	CC BY-NC-ND	-
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/es/	-
dc.subject	abstract interpretation	en
dc.subject	numerical abstract domains	en
dc.subject	relational abstract domains	en
dc.subject	convex polyhedra	en
dc.subject	interpretació abstracta	ca
dc.subject	interpretación abstracta	es
dc.subject	dominios abstractos numéricos	es
dc.subject	dominis abstractes numèrics	ca
dc.subject	dominis relacionals abstractes	ca
dc.subject	dominios relacionales abstractos	es
dc.subject	políedre convex	ca
dc.subject	poliedro convexo	es
dc.subject.lcsh	Computer programming	en
dc.title	The octahedron abstract domain (extended version)	-
dc.type	info:eu-repo/semantics/article	-
dc.subject.lemac	Programació (Ordinadors)	ca
dc.subject.lcshes	Programación (Ordenadores)	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	-
dc.identifier.doi	10.1016/j.scico.2006.03.009	-
dc.gir.id	AR/0000000727	-
dc.relation.projectID	info:eu-repo/grantAgreement/CICYT TIN 2004-07925	-
dc.relation.projectID	info:eu-repo/grantAgreement/AP2002-3862	-
dc.type.version	info:eu-repo/semantics/submittedVersion	-
Appears in Collections:	Articles cientÍfics Articles