Automating exception-safety classification

Gustav Munkby, Sibylle Schupp. Automating exception-safety classification. Science of Computer Programming, 76(4):278-289, 2011. [doi]

@article{MunkbyS11,
  title = {Automating exception-safety classification},
  author = {Gustav Munkby and Sibylle Schupp},
  year = {2011},
  doi = {10.1016/j.scico.2008.06.004},
  url = {http://dx.doi.org/10.1016/j.scico.2008.06.004},
  tags = {classification, exceptions},
  researchr = {https://researchr.org/publication/MunkbyS11},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {76},
  number = {4},
  pages = {278-289},
}