Internal and External Logics of Abstract Interpretations
نویسنده
چکیده
interpretation: computing on properties Example: read(x) if isPositive(x) : x:= pred(x) x:= succ(x) write(x) Q: Is output pos? A: abstractly interpret Int by Sign = {neg , zero, pos , any ,none}: γ
منابع مشابه
Reduction of Many-valued into Two-valued Modal Logics
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextualization of many-valued logics with the introduction of higher-order Herbrand interpretation types, where we explicitly introduce the coexistence of a set of algebraic truth values of original many-valued logic, transformed as parameters (or possible w...
متن کاملMathematical Modeling and Numerical Investigation of Heat Flux at the External Surface of Cylinder of an Internal Combustion Engine
Abstract: This study deals with modeling of heat flux at the external surface of combustion chamber wall in an internal combustion (IC) engine as a function of crank angle. This investigation results in an inverse heat conduction problem in the cylinder wall. Alifanov regularization method is used for solving this inverse problem. This problem study as an optimization problem in which a square...
متن کاملLogics of Objects as a Framework for the Non-Formal Sciences
This paper proposes a particular kind of logics as a formal framework for the non-formal sciences. Such logics of objects turn out to be quite different from recent mathematical logic, but they can be seen as updated versions of the classic conception of logic that is due to Frege, Russell, and the early Carnap. Though obsolete, from the point of view of pure mathematics, logics of this kind ma...
متن کاملAnalytic Network Process Based Strategic Planning for Iran's Trade Promotion Organization
Strategic planning in each organization identifies its orientation and coming priorities as all decisions to be adopted respect to the ensuing outcomes. Strategic decisions considering crucial and irreversible results should not be based on experience and judgments. This paper uses analytic network process (ANP) method for prioritization in strategic planning. ANP is mostly analogous to analyti...
متن کاملChallenges in the Specification of Full Contracts
The complete specification of full contracts — contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved using a combination of temporal and deontic concepts. In this paper we discuss the challenges in combining deontic and other relevant logics, in particular focusing on operators for choice, obligations over sequences, contrary-to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008