Exceptions in concurrent Eiffel

Journal of Object Technology

Volumn 6, Issue 10, 2007, Pages 111-126

  Brooke, Phillip J ^a   Paige, Richard F ^b  

^a TEESSIDE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35348939555     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2007.6.10.a4     Document Type: Article

References (22)

1. C. Adrian, SCOOP for SmallEiffel, draft, http://www.chez.com/cadrian/ eiffel/scoop.html, 2002, last accessed 10th November 2005.
2. V. Arslan and B. Meyer. Asynchronous exceptions in concurrent object-oriented programming. In [PB06].
3. P.J. Brooke and R.F. Paige. A critique of SCOOP. In [PB06].
4. P.J. Brooke and R.F. Paige. An alternative model of concurrency for Eiffel. In [PB06].
5. P.J. Brooke, R.F. Paige, and J.L. Jacob. A CSP model of Eiffel's SCOOP. To appear in Formal Aspects of Computing, 2007.
6. D. Caromel and G. Chazarain. Robust exception handling in an asynchronous environment. In [Rom05], 2005.
7. M. Compton. SCOOP: an Investigation of Concurrency in Eiffel, MSc Thesis, Australian National University, 2000.
8. M. Compton and R. Walker. A Run-time System for SCOOP. Journal of Object Technology 1(3), special issue: TOOLS USA 2002 proceedings, pp. 119-157, 2002.
9. C. Dony, J. Purchase and R. Winder. Exception handling in object-oriented systems. ECOOP'91, 1991.
10. ECMA-367: Eiffel Analysis, Design and Programming Language, Ecma International, June 2005.
11. The Esterel v5 Language Primer. ftp://ftpsop.inria.fr/meije/esterel/ papers/primer.pdf
12. Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR 2. http://www.formal.demon.co.uk/, December 1995.
13. O. Fuks, J.S. Ostroff, and R.F. Paige. SECG: The SCOOP-to-Eiffel Code Generator. Journal of Object Technology 3(10), November/December 2004.
14. V. Issarny. Concurrent exception handling. In Advances in Exception Handling Techniques, LNCS 2022, 2001.
15. B. Meyer, Object-Oriented Software Construction, 2nd Edition, Prentice Hall, 1997.
16. P. Nienaltowski and B. Meyer, SCOOPLI implementation, http://se.inf.ethz.ch/research/scoop.html, 2005.
17. Richard F. Paige and Phillip J. Brooke, editors. Proc. First International Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages (CORDIE), number YCS-TR-405. University of York, July 2006.
18. J. Ploski and W. Hasselbring. The callback problem in exception handling. In [Rom05], 2005.
19. M. Rintala. Handling multiple concurrent exceptions in C++ using futures. In [Rom05], 2005.
20. A. Romanovsky and J. Kienzle. Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems. In Advances in Exception Handling Techniques, LNCS 2022, 2001.
21. A. Romanovsky, C. Dony, J.L. Knudsen, and A. Tripathi (editors). Developing Systems that Handle Exceptions, Proceedings of ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems. Technical Report No 05-050. Department of Computer Science. LIRMM. Montpellier-II University. 2005.
22. T. Taft and R. A. Duff, editors. Ada 95 Reference Manual. Number 1246 in Lectures Notes in Computer Science. Springer-Verlag, 1997.