A modular verifiable exception handling mechanism
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Concurrent programming: principles and practice
Concurrent programming: principles and practice
Exception handling and real time features in an object-oriented concurrent language
Proceedings of the UK/Japan workshop on Concurrency : theory, language, and architecture: theory, language, and architecture
Exception handling: issues and a proposed notation
Communications of the ACM
Exception handling in parallel computations
ACM SIGPLAN Notices
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
JR: Flexible Distributed Programming in an Extended Java
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Integrating concurrency constructs with object-oriented programming languages: a case study
Integrating concurrency constructs with object-oriented programming languages: a case study
JR: Flexible distributed programming in an extended Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lazy argument passing in Java RMI
Proceedings of the 6th international symposium on Principles and practice of programming in Java
Exception Handling in Context-Aware Agent Systems: A Case Study
Software Engineering for Multi-Agent Systems V
Specification of an exception handling system for a replicated agent environment
Proceedings of the 4th international workshop on Exception handling
Exceptions for algorithmic skeletons
Euro-Par'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part II
Handling multiple concurrent exceptions in c++ using futures
Advanced Topics in Exception Handling Techniques
Exception handling and asynchronous active objects: issues and proposal
Advanced Topics in Exception Handling Techniques
An exception handling mechanism for the concurrent invocation statement
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Defining and checking deployment contracts for software components
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Hi-index | 0.00 |
Exception handling mechanisms provided by sequential programming languages rely upon the call stack for the propagation of exceptions. Unfortunately, this is inadequate for handling exceptions thrown from asynchronously invoked methods. For instance, the invoking method may no longer be executing when the asynchronously invoked method throws an exception. We address this problem by requiring the specification of handlers for exceptions thrown from asynchronously invoked methods. Our solution also supports handling exceptions thrown after an early reply from a method and handling exceptions after forwarding the responsibility to reply. The JR programming language supports the exception handling model discussed in this paper.