Invariant functions and invariant relations: An alternative to invariant assertions
نویسندگان
چکیده
Whereas the analysis of loops in imperative programs is, justifiably, dominated by the concept of invariant assertion, we submit a related but different concept, of invariant relation, and show how it can be used to compute or approximate the function of a while loop. We also introduce the concept of invariant function, which is used to generate a broad class of invariant relations.
منابع مشابه
Invariant assertions, invariant relations, and invariant functions
Invariant assertions play an important role in the analysis and documentation of while loops of imperative programs. Invariant functions and invariant relations are alternative analysis tools that are distinct from invariant assertions but are related to them. In this paper we discuss these three concepts and analyze their relationships. The study of invariant functions and invariant relations ...
متن کاملA Comparative Study of Invariant Assertions, Invariant Relations, and Invariant Functions
Invariant assertions play an important role in the analysis and documentation of while loops of imperative programs. Invariant functions and invariant relations are alternative analysis tools that are distinct from invariant assertions but are related to them. In this paper we discuss these three concepts and analyze their relationships. The study of invariant functions and invariant relations ...
متن کاملAn Approach to Deriving Maximal Invariant Statistics
Invariance principles is one of the ways to summarize sample information and by these principles invariance or equivariance decision rules are used. In this paper, first, the methods for finding the maximal invariant function are introduced. As a new method, maximal invariant statistics are constructed using equivariant functions. Then, using several equivariant functions, the maximal invariant...
متن کاملShift Invariant Spaces and Shift Preserving Operators on Locally Compact Abelian Groups
We investigate shift invariant subspaces of $L^2(G)$, where $G$ is a locally compact abelian group. We show that every shift invariant space can be decomposed as an orthogonal sum of spaces each of which is generated by a single function whose shifts form a Parseval frame. For a second countable locally compact abelian group $G$ we prove a useful Hilbert space isomorphism, introduce range funct...
متن کاملSEMIGROUP ACTIONS , WEAK ALMOST PERIODICITY, AND INVARIANT MEANS
Let S be a topological semigroup acting on a topological space X. We develop the theory of (weakly) almost periodic functions on X, with respect to S, and form the (weakly) almost periodic compactifications of X and S, with respect to each other. We then consider the notion of an action of Son a Banach space, and on its dual, and after defining S-invariant means for such a space, we give a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 48 شماره
صفحات -
تاریخ انتشار 2013