Context induction: A proof principle for behavioural abstractions

This publication has 12 references indexed in Scilit:

• Observational implementations
  Published by Springer Nature ,2005
• Initial behaviour semantics for algebraic specifications
  Lecture Notes in Computer Science, 1988
• Algebraic implementations preserve program correctness
  Science of Computer Programming, 1986
• A systematic study of models of abstract data types
  Theoretical Computer Science, 1984
• Final Data Types and Their Specification
  ACM Transactions on Programming Languages and Systems, 1983
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• Implementation of parameterised specifications
  Published by Springer Nature ,1982
• Final algebra semantics and data type extensions
  Journal of Computer and System Sciences, 1979
• Observability concepts in abstract data type specification
  Lecture Notes in Computer Science, 1976
• Proving Properties of Programs by Structural Induction
  The Computer Journal, 1969