Exception-Safety in Generic Components-Reference-Cited by-同舟云学术

Exception-Safety in Generic Components

Published:2000 Issue: Volume: Page:69-79
ISSN:0302-9743
Container-title:Generic Programming
language:
Short-container-title:

Author:

Abrahams David

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-39953-4_6

Reference7 articles.

1. In ternational Standard ISO/IEC 14882, Information Technology—Programming Languages—C++, Document Number ISO/IEC 14882-1998, available from http://webstore.ansi.org/ansidocstore/default.asp .

2. D. Abrahams, Exception Safety in STLport, available at http://www.stlport.org/doc/exception_safety.html .

3. D. Abrahams and B. Fomitchev, Exception Handling Test Suite, available at http://www.stlport.org/doc/eh_testsuite.html .

4. Tom Cargill, “Exception Handling: A False Sense of Security,” C++ Report, Nov–Dec 1994, also available at http://www.awl.com/cp/mec++-cargill.html .

5. B. Fomitchev, Adapted SGI STL Version 1.0, with exception handling code by D. Abrahams, available at http://www.metabyte.com/~fbp/stl/old.html .

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

1. SMT-Based Symbolic Model-Checking for Operator Precedence Languages;Lecture Notes in Computer Science;2024

2. A Model Checker for Operator Precedence Languages;ACM Transactions on Programming Languages and Systems;2023-09-23

3. Temporal Logic and Model Checking for Operator Precedence Languages: Theory and Applications;Special Topics in Information Technology;2022-11-11

4. Rudra;Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles CD-ROM;2021-10-26

5. Model-Checking Structured Context-Free Languages;Computer Aided Verification;2021