Kevin Atkinson, Matthew Flatt, and Gary Lindstrom

Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE) 2010.

DOI: 10.1145/1868294.1868316

© Copyright 2010 by ACM, Inc. Posted by permission of ACM; the copies posted here may not be redistributed. The definitive copy of this work is available from the ACM Digital Library.

View PDF, slides, or BibTeX.

areas
Languages

abstract

ZL is a C++-compatible language in which high-level constructs, such as classes, are defined using macros over a C-like core language. This approach makes many parts of the language easily customizable. For example, since the class construct can be defined using macros, a programmer can have complete control over the memory layout of objects. Using this capability, a programmer can mitigate certain problems in software evolution such as fragile ABIs (Application Binary Interfaces) due to software changes and incompatible ABIs due to compiler changes. In this paper, we outline the problem of fragile and incompatible ABIs and show how ZL can be used to solve them.