Horizontal Composability Revisited

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.

• Type: Conference
• Year: 2006
• Where: BIRTHDAY
• Authors: Donald Sannella, Andrzej Tarlecki
• Keywords: Applied Computing, BIRTHDAY 2006, Burstall's 1980 Cat, Powerful Influence, Specification Implementation