Evolving Algebras and Partial Evaluation
نویسندگان
چکیده
We describe an automated partial evaluator for evolving algebras implemented at the University of Michigan.
منابع مشابه
An Offline Partial Evaluator for Evolving Algebras
We describe the architecture of an evolving algebra partial evaluator, a program which specializes an evolving algebra with respect to a portion of its input. We discuss the particular analysis, specialization, and optimization techniques used and show an example of its use.
متن کاملDeriving Partial Correctness Logics From Evolving Algebras
This extended abstract gives an introduction into the development of partial correctness logics for programming languages speci ed by evolving algebras. A partial correctness logic is a programming logic that allows to prove program properties of the form: \whenever program point P is reached during execution, assertion A is true". We derive a basic axiom (schema) from an evolving algebra and u...
متن کاملRichard Holzer On Subdirectly Irreducible OMAs
In this paper some properties of epi-representations and Schmidt-congruence relations of orthomodular partial algebras are investigated and an infinite list of OMA-episubdirectly irreducible orthomodular partial algebras will be constructed.
متن کاملState Transitions modeled as Re nements
We are going to show how state transitions can be modeled in the framework of algebraic speci cations. We use the algebraic speci cation, composition, and re nement framework provided by the Specware tool [28, 29] and Evolving Algebras [10] as a general framework for transition systems. Numerous case studies show that evolving algebras are well suited to model large and complex reactive and con...
متن کاملAbstract structure of partial function $*$-algebras over semi-direct product of locally compact groups
This article presents a unified approach to the abstract notions of partial convolution and involution in $L^p$-function spaces over semi-direct product of locally compact groups. Let $H$ and $K$ be locally compact groups and $tau:Hto Aut(K)$ be a continuous homomorphism. Let $G_tau=Hltimes_tau K$ be the semi-direct product of $H$ and $K$ with respect to $tau$. We define left and right $tau$-c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994