A mechanism for exception handling and its verification rules

This publication has 10 references indexed in Scilit:

• Toward modular verifiable exception handling
  Computer Languages, 1980
• Ada exception handling: an axiomatic approach
  ACM Transactions on Programming Languages and Systems, 1980
• Exception Handling in CLU
  IEEE Transactions on Software Engineering, 1979
• Proof rules for gotos
  Acta Informatica, 1979
• A General, Verifiable Iterative Control Structure
  IEEE Transactions on Software Engineering, 1977
• Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?
  Acta Informatica, 1976
• Exception handling
  Communications of the ACM, 1975
• System structure for software fault tolerance
  IEEE Transactions on Software Engineering, 1975
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973
• Program proving: Jumps and functions
  Acta Informatica, 1972