![](/img/cover-not-exists.png)
[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Formal verification of object layout for c++ multiple inheritance
Ramananandro, Tahina, Dos Reis, Gabriel, Leroy, XavierYear:
2011
Language:
english
DOI:
10.1145/1926385.1926395
File:
PDF, 654 KB
english, 2011