Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/109823
Título : | The octahedron abstract domain (extended version) |
Autoría: | Clarisó, Robert Cortadella Fortuny, Jordi |
Otros: | Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3) |
Citación : | 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 |
Resumen : | 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). |
Palabras clave : | interpretación abstracta dominios abstractos numéricos dominios relacionales abstractos poliedro convexo |
DOI: | 10.1016/j.scico.2006.03.009 |
Tipo de documento: | info:eu-repo/semantics/article |
Versión del documento: | info:eu-repo/semantics/submittedVersion |
Fecha de publicación : | 24-nov-2006 |
Licencia de publicación: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Aparece en las colecciones: | Articles cientÍfics Articles |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Clariso_SCP_2006_Octahedron.pdf | Pre-print | 404,29 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons