Development of algebraic specifications with constraints
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 102-123
- https://doi.org/10.1007/3-540-51722-7_7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A categorical concept of constraints for algebraic specificationsPublished by Springer Nature ,1989
- GSBL: An Algebraic Specification Language Based on InheritancePublished by Springer Nature ,1988
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- Completeness of Proof Systems for Equational SpecificationsIEEE Transactions on Software Engineering, 1985
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- On hierarchies of abstract data typesActa Informatica, 1983
- Parameterized Specifications: Parameter Passing and Implementation with Respect to ObservabilityACM Transactions on Programming Languages and Systems, 1983