Advanced Topics in Exception Handling Techniques

This book - inspired by two ECOOP workshops on exception handling - is composed of five parts; the first four address exception handling and related topics in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part offers case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers review a wide range of issues in exception handling.

Contenu

Programming Languages.- Bound Exceptions in Object-Oriented Programming.- Exception-Handling Bugs in Java and a Language Extension to Avoid Them.- Concurrency and Operating Systems.- Exception Handling in the Choices Operating System.- Handling Multiple Concurrent Exceptions in C++ Using Futures.- Exception Handling and Asynchronous Active Objects: Issues and Proposal.- Pervasive Computing Systems.- Exception Management Within Web Applications Implementing Business Processes.- Failure Handling in a Network-Transparent Distributed Programming Language.- Ambient-Oriented Exception Handling.- Exception Handling in CSCW Applications in Pervasive Computing Environments.- Structured Coordination Spaces for Fault Tolerant Mobile Agents.- Requirements and Specification.- Practical Exception Specifications.- Exception-Aware Requirements Elicitation with Use Cases.- An Approach to Defining Requirements for Exceptions.- Engineering and Experience.- Aspectizing Exception Handling: A Quantitative Study.- Errors and Exceptions - Rights and Obligations.- Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application.