Some Thoughts on Algebraic Specification

This publication has 13 references indexed in Scilit:

• Algebraic specifications with generating constraints
  Published by Springer Nature ,2006
• Initially — Restricting algebraic theories
  Published by Springer Nature ,2005
• Completeness of Proof Systems for Equational Specifications
  IEEE Transactions on Software Engineering, 1985
• On observational equivalence and algebraic specification
  Published by Springer Nature ,1985
• Introducing institutions
  Published by Springer Nature ,1984
• Structured theories in LCF
  Published by Springer Nature ,1983
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
  Journal of the ACM, 1979
• Axioms for abstract model theory
  Annals of Mathematical Logic, 1974