2007/01/01 by Phillip J. Brooke, Richard F. Paige · 1 citation
Computer Science · #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Advanced Malware Detection Techniques
paper · pdf · doi:10.5381/jot.2007.6.10.a4
openalex publication_date 2007/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/02
We describe the problem of asynchronous exceptions in Eiffel's Simple Concurrent Object-Oriented Programming (SCOOP). We discuss a range of possible solutions to further enable dependable computing in concurrent Eiffel. We propose a mechanism to handle aynchronous exceptions via a limited developer choice, including the notion of a failed or dead object, and necessarily introduce a small number of new exceptions. We additionally describe a number of mechanisms that were discarded as unsuitable.