نتایج جستجو برای: abstract domain
تعداد نتایج: 790912 فیلتر نتایج به سال:
Abstract Scientific capacity is one of the key factors contributing to sustainable development in a country. The development of scientific capacity requires improvement in scientific publication and productions. This study aimed to investigate the publishing condition of the articles in the Journal of Geography and Planning during 2010-2014. The study adopted a descriptive method and s...
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped λ-calculus with pattern matching and term rewriting which has the property that a term is strongly normalising if its value is not ⊥. There are no disjointness or confluence conditions imposed on the rewrite rules, and under a mild but necessary condition completeness of the method i...
throughout this dissertation r is a commutative ring with identity and m is a unitary r-module. in this dissertation we investigate submodules of multiplication , prufer and dedekind modules. we also stat the equivalent conditions for which is ring , wher l is a submodule of afaithful multiplication prufer module. we introduce the concept of integrally closed modules and show that faithful mu...
In recent years there has been a lot of interest in the definition of so-called weakly-relational numeric domains, whose complexity and precision are in between the (non-relational) abstract domain of intervals [9] and the (relational) abstract domain of convex polyhedra [10]. The first weakly-relational domain proposed in the literature is based on systems of constraints of the form x−y ≤ c an...
In recent years there has been a lot of interest in the definition of so-called weakly-relational numeric domains, whose complexity and precision are in between the (non-relational) abstract domain of intervals [9] and the (relational) abstract domain of convex polyhedra [10]. The first weakly-relational domain proposed in the literature is based on systems of constraints of the form x−y ≤ c an...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید