Results 231 to 240 of about 511,149 (266)

Compiling actions by partial evaluation

Proceedings of the conference on Functional programming languages and computer architecture, 1993
Action semantics, compiler generation, partial evaluation, binding-time ...
Bondorf, Anders, Palsberg, Jens
openaire   +1 more source

Transitive partial actions of groups

Periodica Mathematica Hungarica, 2008
The main result of this article is that a transitive partial action of a group \(G\) on a set \(X\) embeds in the natural action on the coset space \(G/G_0\) modulo the stabilizer of \(0 \in X\). This is obtained in a roundabout manner by employing a result of \textit{J. Kellendonk} and \textit{M. V. Lawson} [Int. J. Algebra Comput. 14, No. 1, 87--114 (
Keunbae Choi, Yongdo Lim
openaire   +2 more sources

On the combination of partial action descriptions

1998
We investigate the problems of precondition interactions and effect cumulations, typically caused by the concurrent execution of actions. Our analysis leads to an integration of property oriented and resource oriented approaches to the representation of action and change.
Sven-Erik Bornscheuer, Helko Lehmann
openaire   +1 more source

Partial Actions and Partial Fixed Rings

Communications in Algebra, 2010
In this article, we consider a partial action α of a finite group G on a ring R which possesses an enveloping action. Properties of the fixed subring R α are studied. Among other results, under some assumptions, we describe the prime radical, the Jacobson radical, and the upper nil radical.
Jesús Ávila, Miguel Ferrero, João Lazzarin   +2 more
openaire   +1 more source

Partial Actions on Graphs

International Journal of Technology, 2016
We define a partial action of a group on a graph and their partial orbits and stabilizers for partial graphs. Further some relations between partial orbits and stabilizers are proved. A relation between α-transitivity and β-transitivity of a partial graph is proved where α is a partial action of a group G on the set of vertices and β is a partial ...
R.P. Sharma, Rajni Parmar, V.S. Kapil
openaire   +1 more source

Partial actions on reductive Lie algebras

Communications in Algebra, 2021
In this paper, we study partial group actions on Lie algebras. We describe the structure of the inverse semigroup of all partial automorphisms (isomorphisms between ideals) of a finite-dimensional ...
openaire   +1 more source

GLOBALIZATION OF PARTIAL ACTIONS ON SEMIPRIME RINGS

Journal of Algebra and Its Applications, 2013
In this paper we consider partial actions of groups on semiprime rings. Our purpose is to study when such a partial action has a globalization.
Bemm, Laerte, Ferrero, Miguel
openaire   +2 more sources

PARTIAL ACTIONS OF ORDERED GROUPOIDS ON RINGS

Journal of Algebra and Its Applications, 2010
In this paper, we introduce the notion of a partial action of an ordered groupoid on a ring and we construct the corresponding partial skew groupoid ring. We present sufficient conditions under which the partial skew groupoid ring is either associative or unital.
Bagio, Dirceu, Flores, Daiana, Paques, Antonio   +2 more
openaire   +1 more source

An action analysis for combining partial evaluation

Journal of Computer Science and Technology, 2000
This paper proposes an action analysis for implementing combining partial evaluation efficiently. By analyzing the results of binding time analysis, operations, which should be used in the combining partial evaluation, are determined in advance, so that the computation in the combination of specialized programs is reduced effectively.
openaire   +1 more source

Partial Actions of Groups on Cell Complexes

Monatshefte f�r Mathematik, 2003
Given a 2-complex \(L\), let \(I(L)\) denote the inverse monoid of partial automorphisms of \(L\), that is isomorphisms between subcomplexes of \(L\), with the usual composition of relations. A partial action of a group \(G\) on \(L\) is a dual prehomomorphism \(f:G \to I(L)\), that means a map satisfying the properties: \(f(1) = \text{id}_L\); \(f(g^{-
openaire   +2 more sources