Back to Results
First PageMeta Content
C++ / Object-oriented programming / C programming language / Cross-platform software / Procedural programming languages / C++ classes / Virtual function / Virtual method table / C++11 / Software engineering / Computing / Computer programming


Formal Verification of Object Layout for C++ Multiple Inheritance Tahina Ramananandro Gabriel Dos Reis ∗
Add to Reading List

Document Date: 2010-11-15 09:51:55

Open Document

File Size: 333,39 KB

Share Result on Facebook

City

Austin / /

Country

United States / /

Currency

USD / /

/

IndustryTerm

layout algorithms / object layout algorithm / layout algorithm / object layout algorithms / realistic layout algorithms / actual layout algorithms / optimized object layout algorithms / /

OperatingSystem

Dos / /

Organization

National Science Foundation / Texas A&M University / /

Person

Gabriel Dos Reis / Xavier Leroy / /

Position

translator / garbage collector / Coq proof assistant / representative / forward / General / Isabelle proof assistant / programmer / /

ProgrammingLanguage

Fortran / Java / C++ / /

Technology

object-oriented programming / two realistic layout algorithms / layout algorithms / The layout algorithm / Java / C++ object layout algorithms / optimized object layout algorithms / actual layout algorithms / layout algorithm / simulation / object layout algorithm / object layout algorithms / cmp / /

SocialTag