A formal framework for modules with state
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 148-162
- https://doi.org/10.1007/bfb0014313
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Behavioural satisfaction and equivalence in concrete model categoriesPublished by Springer Nature ,1996
- D-oids: a model for dynamic data-typesMathematical Structures in Computer Science, 1995
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Module algebraJournal of the ACM, 1990
- A denotational semantics of inheritance and its correctnessPublished by Association for Computing Machinery (ACM) ,1989
- Dimensions of object-based language designPublished by Association for Computing Machinery (ACM) ,1987
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Partial abstract typesActa Informatica, 1982