Exception handling—A static approach

Software: Practice and Experience

Volumn 14, Issue 5, 1984, Pages 429-449

  Knudsen, Jørgen Lindskov ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Ada; Chill; Clu; Control structures; Declaration; Exception handling; PL I; Programming language design; Static binding; Structured programming

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

EID: 0021421931     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.4380140504     Document Type: Article

References (27)

1. Exception handling: issues and a proposed notion
2. Rationale for the design of the ADA programming language
3. Exception handling in CLU
4. Language design methods based on semantic principles
5. Toward modular verifiable exception handling
6. Program proving: jumps and functions
7. A correspondence between ALGOL 60 and Church's lambda‐notation: Parts I & II
8. The next 700 programming languages
9. A control statement for natural top‐down structured programming
10. Multiple exits from a loop without the GOTO
11. Guarded commands, nondeterminancy and formal derivation of programs
12. The programming language Concurrent Pascal
13. A general, verifiable iterative control structure
14. Pascal Plus—another language for modular multiprogramming
15. Structured programming with GOTO statements
16. The control of exception conditions in PL/I object programs
17. Exception handling in PL/I
18. A program structure for error detection and recovery
19. System structure for software fault tolerance
20. An introduction to the construction and verification of Alphard programs