Towards a semantics for object-Z

This publication has 12 references indexed in Scilit:

• A denotational semantics of inheritance and its correctness
  Published by Association for Computing Machinery (ACM) ,1989
• Type theories and object-oriented programmimg
  ACM Computing Surveys, 1988
• GSBL: An Algebraic Specification Language Based on Inheritance
  Published by Springer Nature ,1988
• Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t Like
  Published by Springer Nature ,1988
• Structuring for the VDM specification language
  Published by Springer Nature ,1988
• Using Types and Inheritance in Object-Oriented Languages
  Published by Springer Nature ,1987
• Semantics of Smalltalk-80
  Published by Springer Nature ,1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Specification of the UNIX Filing System
  IEEE Transactions on Software Engineering, 1984
• A semantics of multiple inheritance
  Lecture Notes in Computer Science, 1984