The GCC free compiler is a very large software, compiling source in several languages for many targets on various systems. It can be extended by plugins, which may take advantage of its power to provide extra specific functionality (warnings, optimizations, source refactoring or navigation) by processing various GCC internal representations (Gimple, Tree,...). Writing plugins in C is a complex and time-consuming task, but customizing GCC by using an existing scripting language inside is impractical. We describe MELT, a specific Lisp-like DSL which fits well into existing GCC technology and offers high-level features (functional, object or reflexive programming, pattern matching). MELT is translated to C fitted for GCC internals and provides...
The main aim of the Interactive Compilation Interface (ICI) is to transform GCC (pro-duction quality...
Supercompilation is a program optimisation technique that is par-ticularly effective at eliminating ...
Article dans revue scientifique avec comité de lecture.The ASF+SDF Meta-Environment is an interactiv...
The GCC free compiler is a very large software, compiling source in several languages for many targe...
We present a translation scheme from a pure functional domain-specific language (DSL) to C. The over...
International audienceComputer scientists are always eager to have a powerful, robust and stable com...
Parsing programming languages is an essential component of the front end of most program comprehens...
This article is about an implementation and compilation technique that is used in RAW-Feldspar which...
C programs can use compiler builtins to provide functionality that the C language lacks. On Linux, G...
AbstractThe analysis of executable code requires the reconstruction of instructions from a sequence ...
Abstract. Building an aspect weaver right into the heart of the GCC compiler not only improves effic...
In this paper, we describe g4re, our tool chain that exploits GENERIC, an intermediate format incorp...
Abstract. A wide range of domain-specific languages (DSLs) has been implemented successfully by embe...
Abstract. A wide range of domain-specific languages (DSLs) has been implemented successfully by embe...
Can we reuse some of the huge code-base developed in C to take advantage of modern programming langu...
The main aim of the Interactive Compilation Interface (ICI) is to transform GCC (pro-duction quality...
Supercompilation is a program optimisation technique that is par-ticularly effective at eliminating ...
Article dans revue scientifique avec comité de lecture.The ASF+SDF Meta-Environment is an interactiv...
The GCC free compiler is a very large software, compiling source in several languages for many targe...
We present a translation scheme from a pure functional domain-specific language (DSL) to C. The over...
International audienceComputer scientists are always eager to have a powerful, robust and stable com...
Parsing programming languages is an essential component of the front end of most program comprehens...
This article is about an implementation and compilation technique that is used in RAW-Feldspar which...
C programs can use compiler builtins to provide functionality that the C language lacks. On Linux, G...
AbstractThe analysis of executable code requires the reconstruction of instructions from a sequence ...
Abstract. Building an aspect weaver right into the heart of the GCC compiler not only improves effic...
In this paper, we describe g4re, our tool chain that exploits GENERIC, an intermediate format incorp...
Abstract. A wide range of domain-specific languages (DSLs) has been implemented successfully by embe...
Abstract. A wide range of domain-specific languages (DSLs) has been implemented successfully by embe...
Can we reuse some of the huge code-base developed in C to take advantage of modern programming langu...
The main aim of the Interactive Compilation Interface (ICI) is to transform GCC (pro-duction quality...
Supercompilation is a program optimisation technique that is par-ticularly effective at eliminating ...
Article dans revue scientifique avec comité de lecture.The ASF+SDF Meta-Environment is an interactiv...