We show how locally replaceable code snippets can be used to easily specify and prototype compiler and language enhancements for the C language that work by local source-to-source transformation. A toolbox implements the feature and provides many directives that can be used for compile time configuration and tuning, code unrolling, compile time expression evaluation and program modularization. The tool is also easily extensible by simple filters that can be programmed with any suitable text processing framework
International audienceCompCert is the first commercially available optimizing compiler that is forma...
We propose an extension to the C standard called Modular C. It consists inthe addition of a handful ...
International audienceThe CompCert C compiler provides the formal guarantee that the observable beha...
We show how locally replaceable code snippets can be used to easily specify and prototype compiler ...
Cette thèse présente une extension du compilateur CompCert permettant de fournir des garanties forme...
International audienceProgram optimizations, transformations and analyses are ap-plied to intermedia...
AbstractAs software systems become increasingly massive, the advantages of automated transformation ...
AbstractAs software systems become increasingly massive, the advantages of automated transformation ...
International audienceCoccinelle is a program matching and transformation engine for C code. This pa...
This thesis presents an extension of the CompCert compiler that aims at providing formal guarantees ...
The significance of a source code translator between Turbo Pascal and Turbo C cannot be underestimat...
Source code transformations are a very effective method of parallelizing and improving the efficienc...
This paper presents an interactive framework for developing high-performance C code via series of so...
It is difficult to develop style-preserving source-to-source transformation engines for C and C++. T...
International audienceParallel architectures are now omnipresent in mainstream electronic devices an...
International audienceCompCert is the first commercially available optimizing compiler that is forma...
We propose an extension to the C standard called Modular C. It consists inthe addition of a handful ...
International audienceThe CompCert C compiler provides the formal guarantee that the observable beha...
We show how locally replaceable code snippets can be used to easily specify and prototype compiler ...
Cette thèse présente une extension du compilateur CompCert permettant de fournir des garanties forme...
International audienceProgram optimizations, transformations and analyses are ap-plied to intermedia...
AbstractAs software systems become increasingly massive, the advantages of automated transformation ...
AbstractAs software systems become increasingly massive, the advantages of automated transformation ...
International audienceCoccinelle is a program matching and transformation engine for C code. This pa...
This thesis presents an extension of the CompCert compiler that aims at providing formal guarantees ...
The significance of a source code translator between Turbo Pascal and Turbo C cannot be underestimat...
Source code transformations are a very effective method of parallelizing and improving the efficienc...
This paper presents an interactive framework for developing high-performance C code via series of so...
It is difficult to develop style-preserving source-to-source transformation engines for C and C++. T...
International audienceParallel architectures are now omnipresent in mainstream electronic devices an...
International audienceCompCert is the first commercially available optimizing compiler that is forma...
We propose an extension to the C standard called Modular C. It consists inthe addition of a handful ...
International audienceThe CompCert C compiler provides the formal guarantee that the observable beha...