Formal verification of object layout for c++ multiple inheritance

DOI10.1145/1926385.1926395zbMath1284.68197OpenAlexW4230366227MaRDI QIDQ5408532

Gabriel Dos Reis, Tahina Ramananandro, Xavier Leroy

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00674174/file/cpp-object-layout.pdf

zbMATH Keywords

C++data representationmultiple inheritanceobject identitycompiler verificationempty base classesobject layout

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Mechanising a type-safe model of multithreaded Java with a verified compiler ⋮ Aliasing Restrictions of C11 Formalized in Coq ⋮ A formal C memory model for separation logic

This page was built for publication: Formal verification of object layout for c++ multiple inheritance