Search for Author All Reviews
	Leroy, Xavier     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Formal verification of object layout for C++ multiple inheritance Ramananandro T., Dos Reis G., Leroy X. ACM SIGPLAN Notices 46(1): 67-80, 2011.  Type: Article Efficient language translation, optimized code generation, and runtime memory layout are cornerstones of modern computer language compilers. Squeezing a user’s data structures, especially with C++ multiple inheritance, into f...... Dec 13 2011     Mixin modules in a call-by-value setting Hirschowitz T., Leroy X. ACM Transactions on Programming Languages and Systems 27(5): 857-881, 2005.  Type: Article Mixins, collections of defined and referenced program entities, may fulfill object-oriented programming’s seductive and long-standing promise for flexibly structured and reusable code components. As always, however, mutual re...... Mar 15 2006     Manifest types, modules, and separate compilation Leroy X.  Principles of programming languages (Proceedings of the 21st ACM SIGPLAN-SIGACT symposium, Portland, Oregon, United States, Jan 16-19, 1994) 109-122, 1994.  Type: Proceedings In many languages such as Modula-2 and C++, type specifications are treated as opaque, that is, all exported types are abstract. This feature facilitates separate compilation but is claimed to greatly reduce the expressive power of the...... Feb 1 1995
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy