Formal verification of object layout for C++
by
Tahina Ramananandro
,
Gabriel Dos Reis
,
Xavier Leroy
BibTeX
@MISC{Ramananandro_formalverification,
author = {Tahina Ramananandro and Gabriel Dos Reis and Xavier Leroy},
title = {Formal verification of object layout for C++},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
multiple inheritance
Citations
| 303 | The Annotated C++ Reference Manual - Elis, Stroustrup - 1990 |
| 80 | A machine-checked model for a Java-like language, virtual machine and compiler - Klein, Nipkow, et al. |
| 35 | E.: Towards the formal verification of a C0 compiler: Code generation and implementation correctness - Leinenbach, Paul, et al. - 2005 |
| 26 | Formal verification of a realistic compiler - Leroy |
| 19 | Space and time-efficient memory layout for multiple inheritance - Sweeney, Gil - 1999 |
| 16 | Mechanized semantics for the Clight subset of the C language - Blazy, Leroy |
| 6 | Two-dimensional bidirectional object layout - Gil, Pugh, et al. - 2008 |
| 4 | A typed intermediate language for compiling multiple inheritance - Chen - 2007 |
| 2 | POD’s Revisited; Resolving Core Issue 568 (Revision 2 - Dawes - 2007 |
| 2 | Separation Logic for Multiple Inheritance. Electron - Luo, Qin |
| 1 | Itanium C++ ABI. Available at http://www.codesourcery.com/ public/cxx-abi - CodeSourcery, EDG, et al. - 2001 |
