C++ 中 RAII 的正式处理和/或安全释放；

Question

是否有关于 C++ 中 RAII 的正式处理和/或安全释放的研究论文？

Answer 1

看看“C++ 对象构造和机械化语义”
破坏，及其在资源管理中的应用”（页面，不同的 PDF 版本），显然已提交给 POPL 2012；但是AFAIK 尚未经过同行评审，

有专门关于 RAII 的部分，尽管它可能无法证明您想要的内容：

我们无法证明保证正确封装的一般结果
类中资源的数量：这是程序验证的问题。我们
然而，可以证明在终止程序中每个构造
子对象的破坏与破坏正确匹配。

免责声明：我只是简单地浏览了这篇论文，我对形式语言语义几乎一无所知。