134 search results - page 4 / 27 » An Algebraic View of Program Composition |
135
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
107
Voted
JAPLL
2007
15 years 2 months ago
2007
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
137
Voted
SCP
2010
15 years 1 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
109
Voted
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
156
Voted
TCS
1998
15 years 2 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...