Horizontal Composability Revisited

Donald Sannella, Andrzej Tarlecki

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

Abstract

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
Pages296-316
Number of pages21
Volume4060
ISBN (Electronic)978-3-540-35464-2
ISBN (Print)978-3-540-35462-8
DOIs
Publication statusPublished - 2006

Fingerprint

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

Cite this