|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
77 | David Abrahams |
Exception-Safety in Generic Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 69-79, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
exception-safety, C++, exceptions, STL |
48 | Angelika Langer |
Programming with C++ Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 439, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Bjarne Stroustrup |
Exception Safety: Concepts and Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 60-76, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez, Dionisio de Niz |
Abnormal Events Handling for Dependable Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: Seventh Mexican International Conference on Computer Science, ENC 2006, 18-22 September 2006, San Luis Potosi, Mexico, pp. 81-91, 2006, IEEE Computer Society, 0-7695-2666-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Piotr Kosiuczenko |
Ensuring the Strong Exception Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KKIO Software Engineering Conference ![In: Towards a Synergistic Combination of Research and Practice in Software Engineering [papers from KKIO 2017, Rzeszów, Poland, 14-16 September 2017]., pp. 63-76, 2017, Springer, 978-3-319-65207-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Giovanni Lagorio, Marco Servetto |
Strong exception-safety for checked and unchecked exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 10, pp. 1: 1-20, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Gustav Munkby, Sibylle Schupp |
Automating exception-safety classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 76(4), pp. 278-289, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Giovanni Lagorio, Marco Servetto |
Strong exception-safety for Java-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTfJP@ECOOP ![In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010, pp. 3:1-3:7, 2010, ACM, 978-1-4503-0540-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Marco Servetto |
Strong exception-safety for Java-like languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings., pp. 196-198, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
21 | Xin Li, H. James Hoover, Piotr Rudnicki |
Towards Automatic Exception Safety Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 396-411, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model checking, verification, static analysis, exceptions |
21 | K. Rustan M. Leino, Wolfram Schulte |
Exception Safety for C#. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 218-227, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|