MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Actors: a conceptual foundation for concurrent object-oriented programming
Research directions in object-oriented programming
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
ABCL: an object-oriented concurrent system
ABCL: an object-oriented concurrent system
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Reasoning about meta level activities in open distributed systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Active object: an object behavioral pattern for concurrent programming
Pattern languages of program design 2
Security and Fault-Tolerance in Distributed Systems: An Actor-Based Approach
CSDA '98 Proceedings of the Conference on Computer Security, Dependability, and Assurance: From Needs to Solutions
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming Erlang: Software for a Concurrent World
Programming Erlang: Software for a Concurrent World
Scala Actors: Unifying thread-based and event-based programming
Theoretical Computer Science
A Process Calculus Analysis of Compensations
Trustworthy Global Computing
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
A system for compositional verification of asynchronous objects
Science of Computer Programming
| Hi-index | 0.00 |
In this paper we consider the problem of fault handling inside an object-oriented language with asynchronous method calls whose results are returned inside futures. We present an extension for those languages where futures are used to return fault notifications and to coordinate error recovery between the caller and callee. This can be exploited to ensure that invariants involving many objects are restored after faults.