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.
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...متن کامل
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.متن کامل
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...متن کامل
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...متن کامل
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 ...متن کامل
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...متن کامل