Toward formal development of programs from algebraic specifications: Implementations revisited

This publication has 19 references indexed in Scilit:

• Algebraic implementations preserve program correctness
  Science of Computer Programming, 1986
• Program specification and development in standard ML
  Published by Association for Computing Machinery (ACM) ,1985
• Some Thoughts on Algebraic Specification
  Published by Springer Nature ,1985
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Characterizing composability of abstract implementations
  Lecture Notes in Computer Science, 1983
• Partial abstract types
  Acta Informatica, 1982
• On realization and implementation
  Published by Springer Nature ,1981
• 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
• Gedanken-Experiments on Sequential Machines
  Published by Walter de Gruyter GmbH ,1956