نتایج جستجو برای: abstract domain

تعداد نتایج: 790912  

Journal: :Higher-Order and Symbolic Computation 2010

Journal: :Mathematical Structures in Computer Science 2011

Journal: :Electronic Notes in Theoretical Computer Science 1998

2004
Robert Clarisó Jordi Cortadella

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

Journal: :پژوهش های زبانی 0
سید فاطمه موسوی دانشجوی دکتری فرهنگ و زبان های باستانی دانشگاه تهران

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

Journal: :Journal of Symbolic Computation 2013

Journal: :Journal of Mathematical Analysis and Applications 1997

Journal: :پژوهش های فقهی 0
محمد صادق یوسفی مقدم استادیار پژوهشگاه علوم و فرهنگ اسلامی سید جعفر صادقی فدکی استادیار پژوهشگاه علوم و فرهنگ اسلامی

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

2017
Hugo Illous Matthieu Lemerre Xavier Rival

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

Journal: :Electr. Notes Theor. Comput. Sci. 2010
Jacob M. Howe Andy King Charles Lawrence-Jones

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید