A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Software reliability in the system context
IEEE Transactions on Software Engineering
VAX/VMS internals and data structures
VAX/VMS internals and data structures
Journal of Object-Oriented Programming
Commentary on standard ML
Eiffel: the language
&mgr;C++: concurrency in the object-oriented language C++
Software—Practice & Experience
Synchronous and asynchronous handling of abnormal events in the &mgr;System
Software—Practice & Experience
Exceptional C or C with exceptions
Software—Practice & Experience
The design and evolution of C++
The design and evolution of C++
Object-oriented programming in the BETA programming language
Object-oriented programming in the BETA programming language
Exception handling: expecting the unexpected
Computer Languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exception handling: issues and a proposed notation
Communications of the ACM
The C++ Programming Language, Third Edition
The C++ Programming Language, Third Edition
Design Dependable ADA
The Java Language Specification
The Java Language Specification
Proceedings of an ACM conference on Language design for reliable software
Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems
Advances in exception handling techniques
An Embedded Error Recovery and Debugging Mechanism for Scripting Language Extensions
Proceedings of the General Track: 2002 USENIX Annual Technical Conference
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
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)
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Managing exceptions in the medical workflow systems
Proceedings of the 28th international conference on Software engineering
Verification of coordinated exception handling
Proceedings of the 2006 ACM symposium on Applied computing
Lazy argument passing in Java RMI
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Asynchronous exception propagation in blocked tasks
Proceedings of the 4th international workshop on Exception handling
Extended exceptions for contingencies
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
On some Problems with Modelling of Exceptions in UML
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
A transactional model for automatic exception handling
Computer Languages, Systems and Structures
An approach to improving the structure of error-handling code in the linux kernel
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Handling multiple concurrent exceptions in c++ using futures
Advanced Topics in Exception Handling Techniques
Verification rules for exception handling in eiffel
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Context aware exception handling in business process execution language
Information and Software Technology
Do we need to handle every temporal violation in scientific workflow systems?
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.01 |
It is no longer possible to consider exception handling as a secondary issue in language design, or even worse, a mechanism added after the fact via a library approach. Exception handling is a primary feature in language design and must be integrated with other major features, including advanced control flow, objects, coroutines, concurrency, real-time, and polymorphism. Integration is crucial as there are both obvious and subtle interactions between exception handling and other language features. Unfortunately, many exception handling mechanisms work only with a subset of the features and in the sequential domain. A framework for a comprehensive, easy to use, and extensible exception handling mechanism is presented for a concurrent, object-oriented environment. The environment includes language constructs with separate execution stacks, e.g., coroutines and tasks, so the exception environment is significantly more complex than the normal single-stack situation. The pros and cons of various exception features are examined, along with feature interaction with other language mechanisms. Both exception termination and resumption models are examined in this environment, and previous criticisms of the resumption model, a feature commonly missing in modern languages, are addressed.