Formal verification of programs with exceptions
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Cleanroom Software EngineeringIEEE Software, 1987
- An axiomatic treatment of exception handling in an expression-oriented languageACM Transactions on Programming Languages and Systems, 1987
- Error recovery in asynchronous systemsIEEE Transactions on Software Engineering, 1986
- Correct and Robust ProgramsIEEE Transactions on Software Engineering, 1984
- Exception Handling and Software Fault ToleranceIEEE Transactions on Computers, 1982
- Ada exception handling: an axiomatic approachACM Transactions on Programming Languages and Systems, 1980
- Exception Handling in CLUIEEE Transactions on Software Engineering, 1979
- Rationale for the design of the Ada programming languageACM SIGPLAN Notices, 1979
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975