Robust data types

This publication has 11 references indexed in Scilit:

• A program structure for error detection and recovery
  Published by Springer Nature ,2005
• Systematic detection of exception occurrences
  Science of Computer Programming, 1981
• Hierarchical program specification and verification ? a many-sorted logical approach
  Acta Informatica, 1980
• Ada exception handling: an axiomatic approach
  ACM Transactions on Programming Languages and Systems, 1980
• Formalization of data base models
  Published by Springer Nature ,1980
• Formal specification as a design tool
  Published by Association for Computing Machinery (ACM) ,1980
• Exception Handling in CLU
  IEEE Transactions on Software Engineering, 1979
• Rationale for the design of the Ada programming language
  ACM SIGPLAN Notices, 1979
• Reliability Issues in Computing System Design
  ACM Computing Surveys, 1978
• Proof of correctness of data representations
  Acta Informatica, 1972