Observational implementations

This publication has 11 references indexed in Scilit:

• Toward formal development of programs from algebraic specifications: Implementations revisited
  Published by Springer Nature ,1987
• On the algebraic definition of programming languages
  ACM Transactions on Programming Languages and Systems, 1987
• On observational equivalence and algebraic specification
  Published by Springer Nature ,1985
• Observational Specification: A Birkhoff-Theorem
  Published by Springer Nature ,1985
• A systematic study of models of abstract data types
  Theoretical Computer Science, 1984
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• Implementation of parameterised specifications
  Published by Springer Nature ,1982
• Universal realization, persistent interconnection and implementation of abstract modules
  Published by Springer Nature ,1982
• Universal Algebra
  Published by Springer Nature ,1981
• Observability concepts in abstract data type specification
  Lecture Notes in Computer Science, 1976