This paper explores the abstract domain of grids, a domain that is able to represent sets of equally spaced points and hyperplanes over an n-dimensional vector space. Such a domain is useful for the static analysis of the patterns of distribution of the values program variables can take. We present the domain, its representation and the basic operations on grids necessary to define the abstract semantics. We show how the definition of the domain and its operations exploit well-known techniques from linear algebra as well as a dual representation that allows, among other things, for a concise and efficient implementation.
Grids: A Domain for Analyzing the Distribution of Numerical Values / Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea. - 4407 of LNCS:(2007), pp. 219-235. (Intervento presentato al convegno 16th International Symposium on Logic-based Program Synthesis and Transformation tenutosi a Venice, Italy nel July 12-14, 2006) [10.1007/978-3-540-71410-1_16].
Grids: A Domain for Analyzing the Distribution of Numerical Values
BAGNARA, Roberto;ZAFFANELLA, Enea
2007-01-01
Abstract
This paper explores the abstract domain of grids, a domain that is able to represent sets of equally spaced points and hyperplanes over an n-dimensional vector space. Such a domain is useful for the static analysis of the patterns of distribution of the values program variables can take. We present the domain, its representation and the basic operations on grids necessary to define the abstract semantics. We show how the definition of the domain and its operations exploit well-known techniques from linear algebra as well as a dual representation that allows, among other things, for a concise and efficient implementation.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
