The octahedron abstract domain

Home | About RECERCAT | Contact

Català | Castellano

All of RECERCAT

By Communities &
Collections By Defense Date By Authors By Titles By Subject

This Collection

By Defense Date By Authors By Titles By Subject

Statistics

View Statistics All RECERCAT

My RECERCAT

Other repositories directory

RECERCAT Home > Universitat Politècnica de Catalunya > Documents de recerca > View document

To access the full text documents, please follow this link: http://hdl.handle.net/2117/130690

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Clarisó Viladrosa, Robert
dc.contributor.author	Cortadella, Jordi
dc.date	2004
dc.identifier.citation	Clarisó, R.; Cortadella, J. The octahedron abstract domain. A: International Static Analysis Symposium. "Static Analysis: 11th International Symposium, SAS 2004: Verona, Italy, August 26-28, 2004: proceedings". Berlín: Springer, 2004, p. 312-327.
dc.identifier.citation	978-3-540-27864-1
dc.identifier.citation	10.1007/978-3-540-27864-1_23
dc.identifier.uri	http://hdl.handle.net/2117/130690
dc.language.iso	eng
dc.publisher	Springer
dc.relation	http://link.springer.com/chapter/10.1007/978-3-540-27864-1_23
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat
dc.subject	Data structures (Computer science)
dc.subject	Computational complexity
dc.subject	Constraint handling
dc.subject	Decision diagrams
dc.subject	Program diagnostics
dc.subject	Estructures de dades (Informàtica)
dc.subject	Complexitat computacional
dc.title	The octahedron abstract domain
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.abstract	An interesting area in static analysis is the study of numeric 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 numeric abstract domain called octahedron that represents constraints of the form (±xj± … ± xk# c), where xiare numerical variables such that xi# 0. The implementation of octahedra is based on a new kind of decision diagrams called Octahedron Decision Diagrams (OhDD).
dc.description.abstract	Peer Reviewed

Show simple item record

All of RECERCAT

This Collection

Statistics

My RECERCAT

Related documents

Other documents of the same author