Horizontal Composability Revisited

Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We recall the contribution of Goguen and Burstall’s 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same time, via the introduction of the notions of vertical and horizontal composition of implementations. We then give a different view of implementation which we believe provides a more adequate reflection of the rather subtle interplay between implementation, specification structure and program structure.
Original languageEnglish
Title of host publicationAlgebra, Meaning, and Computation
Subtitle of host publicationEssays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
PublisherSpringer Berlin Heidelberg
Number of pages21
ISBN (Electronic)978-3-540-35464-2
ISBN (Print)978-3-540-35462-8
Publication statusPublished - 2006


Dive into the research topics of 'Horizontal Composability Revisited'. Together they form a unique fingerprint.

Cite this