M. A. Ellis and B. Stroustrup, The Annotated C++ Reference Manual, 1990.

M. Fähndrich and S. Xia, Establishing object invariants with delayed types, 22nd conf. on Object-Oriented Programming Systems and Applications (OOPSLA'07), pp.337-350, 2007.

J. Gosling, B. Joy, G. Steele, and G. Bracha, The Java Language Specification, 2005.

L. Hubert, T. Jensen, V. Monfort, and D. Pichardie, Enforcing Secure Object Initialization in Java, Computer Security ? ESORICS 2010, pp.101-115, 2010.
DOI : 10.1007/978-3-642-15497-3_7
URL : https://hal.archives-ouvertes.fr/inria-00503953

I. Standard and I. , Programming Languages ? C++. International Organization for Standards, 2011.

X. Leroy, A Formally Verified Compiler Back-end, Journal of Automated Reasoning, vol.27, issue.1, pp.363-446, 2009.
DOI : 10.1007/s10817-009-9155-4
URL : https://hal.archives-ouvertes.fr/inria-00360768

L. Martin, Joint Strike Fighter Air Vehicle C++ Coding Standards for the System Development and Demonstration Program, 2005.

M. Norrish, A formal semantics for C++, 2008.

X. Qi and A. C. Myers, Masked types for sound object initialization, 36th symp. Principles of Programming Languages (POPL'09), pp.53-65, 2009.
DOI : 10.1145/1480881.1480890
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.605

T. Ramananandro, Mechanized Formal Semantics and Verified Compilation for C++ Objects, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00769044

T. Ramananandro, G. D. Reis, and X. Leroy, Formal verification of object layout for C++ multiple inheritance, 38th symp. Principles of Programming Languages (POPL'11), pp.67-80, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00674174

J. G. Rossie and D. P. Friedman, An algebraic semantics of subobjects, 10th conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'95), pp.187-199, 1995.

B. Stroustrup, Classes, ACM SIGPLAN Notices, vol.17, issue.1, pp.42-51, 1982.
DOI : 10.1145/947886.947893

B. Stroustrup, The design and evolution of C++, 1994.

D. Wasserrab, From Formal Semantics to Verified Slicing ? A Modular Framework with Applications in Language Based Security, 2010.

D. Wasserrab, T. Nipkow, G. Snelting, and F. Tip, An operational semantics and type safety proof for multiple inheritance in C++, 21st conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'06), pp.345-362, 2006.