An exception handling model for parallel programming and its verification-Reference-Cited by-同舟云学术

An exception handling model for parallel programming and its verification

Published:1991-11 Issue:5 Volume:16 Page:92-100
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Issarny Valérie¹

Affiliation:

1. IRISA/INRIA-Rennes, Campus de Beaulieu, 35042 Rennes Cedex, France

Publisher

Association for Computing Machinery (ACM)

Reference28 articles.

1. Ada. Preliminary Ada reference manual. ACM SIGPLAN notices 14(6) June 1979. 10.1145/956650.956651 Ada. Preliminary Ada reference manual. ACM SIGPLAN notices 14(6) June 1979. 10.1145/956650.956651

2. K. R. Apt N. Francez and W. P. de Roever. A proof system for communicating sequential processes. ACM transactions on programming languages and systems 2(3):359-385 July 1980. 10.1145/357103.357110 K. R. Apt N. Francez and W. P. de Roever. A proof system for communicating sequential processes. ACM transactions on programming languages and systems 2(3):359-385 July 1980. 10.1145/357103.357110

3. H. Bal J. Steiner and A. Tanenbaum. Programming Languages for Distributed Computing Systems. ACM computing surveys 21(3):261-322 September 1989. 10.1145/72551.72552 H. Bal J. Steiner and A. Tanenbaum. Programming Languages for Distributed Computing Systems. ACM computing surveys 21(3):261-322 September 1989. 10.1145/72551.72552

4. J. P. Ban~tre. Contribution ~ l'~tude de m~thodes et d'outils de construction de programmed parall~les et fiables. Th~e d'~tat Universit~de Rennes I D~cembre 1980. J. P. Ban~tre. Contribution ~ l'~tude de m~thodes et d'outils de construction de programmed parall~les et fiables. Th~e d'~tat Universit~de Rennes I D~cembre 1980.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards an Error Model for OpenMP;Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More;2010

2. Handling Exceptions Between Parallel Objects;Lecture Notes in Computer Science;2004