Unifying initial and loose semantics of parameterized specifications in an arbitrary institution
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 103-120
- https://doi.org/10.1007/3-540-53982-4_7
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Basic Operations on Module SpecificationsPublished by Springer Nature ,1990
- Revised ACT ONE: Categorical constructions for an algebraic specification languagePublished by Springer Nature ,1989
- Development of algebraic specifications with constraintsPublished by Springer Nature ,1989
- Foundations are rich institutions, but institutions are poor foundationsPublished by Springer Nature ,1989
- Colimits as parameterized data typesPublished by Springer Nature ,1989
- A categorical concept of constraints for algebraic specificationsPublished by Springer Nature ,1989
- Algebraische Spezifikation abstrakter DatentypenPublished by Springer Nature ,1989
- Building specifications in an arbitrary institutionPublished by Springer Nature ,1984
- Data Type Specification: Parameterization and the Power of Specification TechniquesACM Transactions on Programming Languages and Systems, 1982
- The semantics of clear, a specification languagePublished by Springer Nature ,1980