Sciweavers

BIRTHDAY
2006
Springer

Horizontal Composability Revisited

14 years 4 months ago
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.
Donald Sannella, Andrzej Tarlecki
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where BIRTHDAY
Authors Donald Sannella, Andrzej Tarlecki
Comments (0)