Horizontal Composability Revisited

Donald Sannella; Andrzej Tarlecki

doi:10.1007/11780274_16

Horizontal Composability Revisited

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

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 language	English
Title of host publication	Algebra, Meaning, and Computation
Subtitle of host publication	Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Publisher	Springer
Pages	296-316
Number of pages	21
Volume	4060
ISBN (Electronic)	978-3-540-35464-2
ISBN (Print)	978-3-540-35462-8
DOIs	https://doi.org/10.1007/11780274_16
Publication status	Published - 2006

Access to Document

10.1007/11780274_16

Sannella Tarlecki 2006 Horizontal Composability RevisitedAccepted author manuscript, 194 KB

http://dx.doi.org/10.1007/11780274_16

Cite this

@inproceedings{5394414a78824395b957e70cf13cf8b9,

title = "Horizontal Composability Revisited",

abstract = "We recall the contribution of Goguen and Burstall{\textquoteright}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.",

author = "Donald Sannella and Andrzej Tarlecki",

year = "2006",

doi = "10.1007/11780274_16",

language = "English",

isbn = "978-3-540-35462-8",

volume = "4060",

pages = "296--316",

booktitle = "Algebra, Meaning, and Computation",

publisher = "Springer",

address = "United Kingdom",

}

TY - GEN

T1 - Horizontal Composability Revisited

AU - Sannella, Donald

AU - Tarlecki, Andrzej

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

U2 - 10.1007/11780274_16

DO - 10.1007/11780274_16

M3 - Conference contribution

SN - 978-3-540-35462-8

VL - 4060

SP - 296

EP - 316

BT - Algebra, Meaning, and Computation

PB - Springer

ER -

Horizontal Composability Revisited

Abstract / Description of output

Access to Document

Fingerprint

Cite this