Ada exception handling: an axiomatic approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
An axiomatic treatment of exception handling
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Aximatic Treatment of Algol 68 Routines
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
A control statement for natural top-down structured programming
Programming Symposium, Proceedings Colloque sur la Programmation
Proceedings of an ACM conference on Language design for reliable software
Program structures for exceptional condition handling.
Program structures for exceptional condition handling.
The replacement model for modular verifiable exception handling
The replacement model for modular verifiable exception handling
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Algol-60 Implementation
Reliable software through composite design
Reliable software through composite design
The contour model of block structured processes
ACM SIGPLAN Notices
Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
An axiomatic treatment of exception handling in an expression-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Exception handling in scientific computing
ACM Transactions on Mathematical Software (TOMS)
Exception handling and object-oriented programming: towards a synthesis
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Data-Oriented Exception Handling
IEEE Transactions on Software Engineering
Exception handling in large Ada systems
WADAS '91 Proceedings of the eighth annual Washington Ada symposium & summer SIGAda meeting on Ada: software: foundation for competitveness
ACM Transactions on Programming Languages and Systems (TOPLAS)
Advanced Exception Handling Mechanisms
IEEE Transactions on Software Engineering
Exception Handling in the Spreadsheet Paradigm
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Concurrent logic programming of correct and robust coordinated reactive computations
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
A fully object-oriented exception handling system: rationale and smalltalk implementation
Advances in exception handling techniques
Advances in exception handling techniques
An Object-Oriented Exception Handling System for an Object-Oriented Language
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Exception Handling during Asynchronous Method Invocation (Research Note)
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Static analysis to support the evolution of exception structure in object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a new distributed programming environment (CORDS)
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Finding and preventing run-time error handling mistakes
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Checkpointing for workflow recovery
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Publishing and composition of atomicity-equivalent services for B2B collaboration
Proceedings of the 28th international conference on Software engineering
Webrb: evaluating a visual domain-specific language for building relational web-applications
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Automatic documentation inference for exceptions
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Exception handling patterns for processes
Proceedings of the 4th international workshop on Exception handling
Exception Handling in Goal-Oriented Multi-Agent Systems
Engineering Societies in the Agents World IX
Fail-safety techniques and their extensions to concurrent systems
Computer Languages
Verification rules for exception handling in eiffel
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
| Hi-index | 0.00 |
This paper presents a new model for exception handling, called the replacement model. The replacement model, in contrast to other exception-handling proposals, supports all the handler responses of resumption, termination, retry, and exception propagation, within both statements and expressions, in a modular, simple, and uniform fashion. The model can be embedded in any expression-oriented language and can also be adapted to languages which are not expression oriented with almost all the above advantages. This paper presents the syntactic extensions for embedding the replacement model into Algol 68 and its operational semantics. An axiomatic semantic definition for the model can be found in [27].