Reliable and automatic composition of language extensions to C - Supplemental Material

Abstract

This technical report provides a more complete description of many of the ableC language extensions described in our OOPSLA 2017 paper “Reliable and automatic composition of language extensions to C”. It describes several additional ableC language extensions that pass the modular analyses and thus can be reliably and automatically composed together by a programmer to form a working translator for a custom extended language. The OOPSLA paper describes extensions that illustrate many of the types of language extensions that can be specified as ableC extensions and is thus self contained. Yet, the extensions discussed here expand on these capabilities and describe extensions that are substantially larger in scope or illustrate additional capabilities of ableC and the underlying tools Silver and Copper.