Modification Algebras

نویسندگان

  • G. Ramalingam
  • Thomas W. Reps
چکیده

Given a program base and two of its variants a and b, the problem of program integration is to determine whether the modifications made to base to produce a and b have undesirable semantic interactions, and if there is no such interference, to produce a merged program that incorporates the modifications made in developing either of the variants. Program-modifications can be formalized as functions from the set of programs to itself. This paper develops an algebra of program-modifications, and uses it to establish various results concerning the problem of program-integration and some variants of the problem.

برای دسترسی به متن کامل این مقاله و 10 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Torsion-free Abelian Groups and Lie Algebras

It is known that many of the classes of simple Lie algebras of prime characteristic of nonclassical type have simple infinite-dimensional analogues of characteristic zero (see, for example, [4, p. 518]). We consider here analogues of those algebras which are defined by a modification of the definition of a group algebra. Thus we consider analogues of the Zassenhaus algebras as generalized by Al...

متن کامل

Skein relations for the link invariants coming from exceptional Lie algebras

Pulling back the weight systems associated with the exceptional Lie algebras and their standard representations by a modification of the universal VassilievKontsevich invariant yields link invariants; extending them to coloured 3-nets, we derive for each of them a skein relation.

متن کامل

Normal Forms for Operators via Gröbner Bases in Tensor Algebras

We propose a general algorithmic approach to noncommutative operator algebras generated by linear operators using quotients of tensor algebras. In order to work with reduction systems in tensor algebras, Bergman’s setting provides a tensor analog of Gröbner bases. We discuss a modification of Bergman’s setting that allows for smaller reduction systems and tends to make computations more efficie...

متن کامل

Cone metric spaces with Banach algebras and fixed point theorems of generalized Lipschitz mappings

In this paper we introduce the concept of cone metric spaces with Banach algebras, replacing Banach spaces by Banach algebras as the underlying spaces of cone metric spaces. With this modification, we shall prove some fixed point theorems of generalized Lipschitz mappings with weaker conditions on generalized Lipschitz constants. An example shows that our main results concerning the fixed point...

متن کامل

Geometric methods in the representation theory of Hecke algebras and quantum groups

These lectures given in Montreal in Summer 1997 are mainly based on, and form a condensed survey of the book by N. Chriss and V. Ginzburg, Representation Theory and Complex Geometry , Birkhäuser 1997. Various algebras arising naturally in Representation Theory such as the group algebra of a Weyl group, the universal enveloping algebra of a complex semisimple Lie algebra, a quantum group or the ...

متن کامل

Geometric Methods in Representation Theory of Hecke Algebras and Quantum Groups

These lectures given in Montreal in Summer 1997 are mainly based on, and form a condensed survey of the book N. Chriss, V. Ginzburg ‘Representation Theory and Complex Geometry’ , Birkhäuser 1997. Various algebras arising naturally in Representation Theory such as the group algebra of a Weyl group, the universal enveloping algebra of a complex semisimple Lie algebra, a Quantum group or the Iwaho...

متن کامل

افزودن به منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی راحت تر خواهید کرد

برای دسترسی به متن کامل این مقاله و 10 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1991