A mechanized semantics for C++ object construction and destruction, with applications to resource management (Q2942898)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A mechanized semantics for C++ object construction and destruction, with applications to resource management |
scientific article |
Statements
A mechanized semantics for C++ object construction and destruction, with applications to resource management (English)
0 references
11 September 2015
0 references
C++
0 references
Coq
0 references
classes
0 references
constructors
0 references
destructors
0 references
mechanized semantics
0 references
objects
0 references
