An Overview of Larch/C++: Behavioral Specifications for C++ Modules

This publication has 25 references indexed in Scilit:

• Forcing behavioral subtyping through specification inheritance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On the frame problem in procedure specifications
  IEEE Transactions on Software Engineering, 1995
• The Larch/Smalltalk interface specification language
  ACM Transactions on Software Engineering and Methodology, 1994
• Larch: Languages and Tools for Formal Specification
  Published by Springer Nature ,1993
• OOZE
  Published by Springer Nature ,1992
• ZEST
  Published by Springer Nature ,1992
• Formal verification of Ada programs
  IEEE Transactions on Software Engineering, 1990
• Inheritance and Subtyping in a Parallel Object-Oriented Language
  Published by Springer Nature ,1987
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Algebras, Theories and Freeness: An Introduction for Computer Scientists
  Published by Springer Nature ,1982