ABI compatibility through a customizable language

Authors:
Kevin Atkinson;Matthew Flatt;Gary Lindstrom
Affiliations:
University of Utah, Salt Lake City, UT, USA;University of Utah, Salt Lake City, UT, USA;University of Utah, Salt Lake City, UT, USA
Venue:
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Year:
2010

Citing 24
Cited 2

Programmable syntax macros

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Syntactic abstraction in Scheme

Lisp and Symbolic Computation
Release-to-release binary compatibility in SOM

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Extending the scope of syntactic abstraction

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An efficient context-free parsing algorithm

Communications of the ACM
Growing languages with metamorphic syntax macros

PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
The Java syntactic extender (JSE)

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Macros as multi-stage computations: type-safe, generative, binding macros in MacroML

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Explicit programming

AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Maya: multiple-dispatch syntax extension in Java

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Java Virtual Machine Specification

Java Virtual Machine Specification
OpenJava: A Class-Based Macro System for Java

Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Supporting Binary Compatibility with Static Compilation

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
JTS: Tools for Implementing Domain-Specific Languages

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Extensible language implementation

Extensible language implementation
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
ASTEC: a new approach to refactoring C

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
The object binary interface: C++ objects for evolvable shared class libraries

CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
Xoc, an extension-oriented compiler for systems programming

Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
Volatiles are miscompiled, and what to do about it

EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Polyglot: an extensible compiler framework for Java

CC'03 Proceedings of the 12th international conference on Compiler construction
Revised [6] Report on the Algorithmic Language Scheme

Revised [6] Report on the Algorithmic Language Scheme

Parsing reflective grammars

Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
Honu: syntactic extension for algebraic notation through enforestation

Proceedings of the 11th International Conference on Generative Programming and Component Engineering

Quantified Score

Hi-index	0.00

Visualization

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.