Implementation of parameterized observational specifications

This publication has 17 references indexed in Scilit:

• Algebraic implementations preserve program correctness
  Science of Computer Programming, 1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Observational Specification: A Birkhoff-Theorem
  Published by Springer Nature ,1985
• A systematic study of models of abstract data types
  Theoretical Computer Science, 1984
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
  ACM Transactions on Programming Languages and Systems, 1983
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• Universal realization, persistent interconnection and implementation of abstract modules
  Published by Springer Nature ,1982
• Parameter passing commutes with implementation of parameterized data types
  Published by Springer Nature ,1982
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Observability concepts in abstract data type specification
  Lecture Notes in Computer Science, 1976