Algebraic specifications

This publication has 12 references indexed in Scilit:

• How to make algebraic specifications more understandable: An experiment with the pluss specification language
  Science of Computer Programming, 1989
• A theory of software reusability
  Published by Springer Nature ,1988
• Good functors ... are those preserving philosophy!
  Published by Springer Nature ,1987
• Report on the larch shared language
  Science of Computer Programming, 1986
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
  Theoretical Computer Science, 1986
• Test sets generation from algebraic specifications using logic programming
  Journal of Systems and Software, 1986
• A systematic study of models of abstract data types
  Theoretical Computer Science, 1984
• Introducing institutions
  Published by Springer Nature ,1984
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• The semantics of clear, a specification language
  Published by Springer Nature ,1980