134 search results - page 1 / 27 » An Algebraic View of Program Composition |
AMAST
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
ECMDAFA
2007
Springer
13 years 10 months ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
JLP
2002
13 years 4 months ago
2002
In the setting of program algebra (PGA), a projection from PGAu, i.e., PGA extended with a unit instruction operator, into PGA is defined. This is done via a composition that empl...
CONCURRENCY
2006
13 years 4 months ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
PADL
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...