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

http://hdl.handle.net/10609/109823
Full metadata record
DC FieldValueLanguage
dc.contributor.authorClarisó Viladrosa, Robert-
dc.contributor.authorCortadella Fortuny, Jordi-
dc.contributor.otherUniversitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)-
dc.date.accessioned2020-02-18T08:23:55Z-
dc.date.available2020-02-18T08:23:55Z-
dc.date.issued2006-11-24-
dc.identifier.citationClarisó, 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.009es
dc.identifier.issn0167-6423MIAR
-
dc.identifier.urihttp://hdl.handle.net/10609/109823-
dc.description.abstractAn 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.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisherScience of Computer Programming-
dc.relation.ispartofScience of Computer Programming, 2007, 64(1)-
dc.relation.urihttps://doi.org/10.1016/j.scico.2006.03.009-
dc.rightsCC BY-NC-ND-
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/-
dc.subjectabstract interpretationen
dc.subjectnumerical abstract domainsen
dc.subjectrelational abstract domainsen
dc.subjectconvex polyhedraen
dc.subjectinterpretació abstractaca
dc.subjectinterpretación abstractaes
dc.subjectdominios abstractos numéricoses
dc.subjectdominis abstractes numèricsca
dc.subjectdominis relacionals abstractesca
dc.subjectdominios relacionales abstractoses
dc.subjectpolíedre convexca
dc.subjectpoliedro convexoes
dc.subject.lcshComputer programmingen
dc.titleThe octahedron abstract domain (extended version)-
dc.typeinfo:eu-repo/semantics/article-
dc.typeinfo:eu-repo/semantics/submittedVersion-
dc.subject.lemacProgramació (Ordinadors)ca
dc.subject.lcshesProgramación (Ordenadores)es
dc.rights.accessRightsinfo:eu-repo/semantics/openAccess-
dc.identifier.doi10.1016/j.scico.2006.03.009-
dc.relation.projectIDinfo:eu-repo/grantAgreement/CICYT TIN 2004-07925-
dc.relation.projectIDinfo:eu-repo/grantAgreement/AP2002-3862-
Appears in Collections:Articles
Articles

Files in This Item:
File Description SizeFormat 
Clariso_SCP_2006_Octahedron.pdfPre-print404.29 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons