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...

cognitive science has found out that languages typically make use of conceptual metaphors to concretize abstract meanings. conceptual metaphor explains a target domain which is abstract via a source domain which is concrete. in other words, conceptual metaphor compares an abstract domain with a concrete one and thus makes it understandable for listeners/readers. this article studies the concept...

a research on “developing the jurisprudence into the sanctum of the beliefs and abstract deedsmr. mohammad sadegh yousefi moghadam mr. seyed jafar sadeghi fadaki abstract from among the subjects of discussion which have been paid much attention by the islamic scientists since long ago, we can name the domain of jurisprudence, religious duties of human being and the limits thereto and in this re...

Static analyses aim at inferring semantic properties of programs. While many analyses compute an over-approximation of reachable states, some analyses compute a description of the input-output relations of programs. In the case of numeric programs, several analyses have been proposed that utilize relational numerical abstract domains to describe relations. On the other hand, designing abstracti...

Quadtrees have proved popular in computer graphics and spatial databases as a way of representing regions in two dimensional space. This hierarchical data-structure is flexible enough to support nonconvex and even disconnected regions, therefore it is natural to ask whether this data-structure can form the basis of an abstract domain. This paper explores this question and suggests that quadtree...