Algebraic semantics of exception handling

This publication has 11 references indexed in Scilit:

• Abstract implementations and correctness proofs
  Published by Springer Nature ,1986
• Algebraic and operational semantics of specifications allowing exceptions and errors
  Theoretical Computer Science, 1984
• Algebraic specification of exception handling and error recovery by means of declarations and equations
  Published by Springer Nature ,1984
• Partial abstract types
  Acta Informatica, 1982
• Algorithmic specifications of abstract data types
  Published by Springer Nature ,1981
• Parameterized data types in algebraic specification languages
  Lecture Notes in Computer Science, 1980
• Notes on Type Abstraction (Version 2)
  IEEE Transactions on Software Engineering, 1980
• Algebraic implementation of abstract data types
  ACM SIGACT News, 1979
• Data type specification
  Published by Association for Computing Machinery (ACM) ,1978
• Categories for the Working Mathematician
  Published by Springer Nature ,1971