Repository | Book | Chapter
(2006) Algebra, meaning, and computation, Dordrecht, Springer.
Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations in which colimits can be mechanically applied to support software development by refinement. We illustrate the use of colimits to support automated datatype refinement, algorithm design, aspect weaving, and security policy enforcement.
Publication details
DOI: 10.1007/11780274_17
Full citation:
Smith, D. R. (2006)., Composition by colimit and formal software development, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 317-332.