A mechanized semantics for C++ object construction and destruction, with applications to resource management
From MaRDI portal
Publication:2942898
Recommendations
- scientific article; zbMATH DE number 868106
- A principled, complete, and efficient representation of C++
- A Fully Abstract Semantics for Constructor Systems
- scientific article; zbMATH DE number 804369
- A CuCh interpretation of an object-oriented language
- Mechanized semantics for the clight subset of the C language
- scientific article; zbMATH DE number 1002575
- A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
Cited in
(2)
This page was built for publication: A mechanized semantics for C++ object construction and destruction, with applications to resource management
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942898)