DOLPHIN is a framework conceived to support the development of modular compilers. This framework supplies a large set of components, like: front-ends for some programming languages, back-ends for different computational architectures (operational system + processor), and several code analysis and optimization routines. Using these components, the user can build compilers for several programming languages and/or computational architectures, or even retargetable compilers. All these components work over the same code representation, designated by DOLPHIN Internal code Representation (DIR). This paper aims at presenting DIR, that uses a set of instantiated objects from C++ classes to represent the code at the middle-level of the compilat...
Designing compiler intermediate representations (IRs) is often a manual process that makes explorati...
Traditionally compilers have been described as consisting of separate modules: the syntax analyser; ...
This paper presents a new method to define an instruction set by considering the intermediate repres...
DOLPHIN is a framework developed to help the construction of high performance, multi-language and re...
Nowadays, compiler construction is supported by several tools, many of them are based on frameworks...
DOLPHIN is a framework conceived to develop and test compiler components. DOLPHIN-FEW (Front-End for...
Software Engineering progresses as improvements are made in languages and methodologies. Significant...
Compilers commonly translate an input program into an intermediate representation (IR) before optimi...
International audienceThe SACRES project is dealing with the development of new design methodologies...
This text treats of the compiler into assembly language of the programming language which is derived...
International audienceWe present CompCertELF, the first extension to CompCert that supports verified...
High level data structures are a cornerstone of modern programming and at the same time stand in the...
The goal of this paper is to present the Dolphin-COMPilers LABoratory (COMPLAB), an integrated envir...
Modern assemblers provide powerful macro facilities to enable programmers to create their own high l...
The intermediate representations (IR) used by most compilers have an operational semantics. The node...
Designing compiler intermediate representations (IRs) is often a manual process that makes explorati...
Traditionally compilers have been described as consisting of separate modules: the syntax analyser; ...
This paper presents a new method to define an instruction set by considering the intermediate repres...
DOLPHIN is a framework developed to help the construction of high performance, multi-language and re...
Nowadays, compiler construction is supported by several tools, many of them are based on frameworks...
DOLPHIN is a framework conceived to develop and test compiler components. DOLPHIN-FEW (Front-End for...
Software Engineering progresses as improvements are made in languages and methodologies. Significant...
Compilers commonly translate an input program into an intermediate representation (IR) before optimi...
International audienceThe SACRES project is dealing with the development of new design methodologies...
This text treats of the compiler into assembly language of the programming language which is derived...
International audienceWe present CompCertELF, the first extension to CompCert that supports verified...
High level data structures are a cornerstone of modern programming and at the same time stand in the...
The goal of this paper is to present the Dolphin-COMPilers LABoratory (COMPLAB), an integrated envir...
Modern assemblers provide powerful macro facilities to enable programmers to create their own high l...
The intermediate representations (IR) used by most compilers have an operational semantics. The node...
Designing compiler intermediate representations (IRs) is often a manual process that makes explorati...
Traditionally compilers have been described as consisting of separate modules: the syntax analyser; ...
This paper presents a new method to define an instruction set by considering the intermediate repres...