Publicação
DIR - A code representation approach for compilers
| Resumo: | 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 compilation process. The article presents the principles that guide the conception of this code representation, the advantages and disadvantages compared with the alternative solutions; and several examples illustrating the application of DIR. |
|---|---|
| Autores principais: | Matos, Paulo |
| Outros Autores: | Henriques, Pedro Rangel |
| Assunto: | Compilers Code representation |
| Ano: | 2004 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Instituto Politécnico de Bragança |
| Idioma: | inglês |
| Origem: | Biblioteca Digital do IPB |
Registos relacionados
article A framework to optimize compilation task
por: Matos, Paulo
Publicado em: (2007)
por: Matos, Paulo
Publicado em: (2007)
article VisualLISA: a visual interface for an attribute grammar based compiler-compiler
por: Pereira, Maria João
Publicado em: (2008)
por: Pereira, Maria João
Publicado em: (2008)
article The design of a framework for compilers development
por: Matos, Paulo
Publicado em: (2005)
por: Matos, Paulo
Publicado em: (2005)
article Dolphin-complab: a virtual compilers laboratory
por: Matos, Paulo
Publicado em: (2003)
por: Matos, Paulo
Publicado em: (2003)
image Dolphin-complab: a virtual compilers laboratory
por: Matos, Paulo
Publicado em: (2003)
por: Matos, Paulo
Publicado em: (2003)
article DOLPHIN - a system for compilers development, teach and use
por: Matos, Paulo
Publicado em: (2003)
por: Matos, Paulo
Publicado em: (2003)
article Compiler assisted elliptic curve cryptography
por: Barbosa, Manuel
Publicado em: (2007)
por: Barbosa, Manuel
Publicado em: (2007)
article Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols
por: Almeida, José Bacelar
Publicado em: (2012)
por: Almeida, José Bacelar
Publicado em: (2012)
article Dolphin-FEW: an architecture for compilers development, monitoring and use on the web
por: Matos, Paulo
Publicado em: (2003)
por: Matos, Paulo
Publicado em: (2003)
article DOLPHIN-FEW - An example of a Web system to analyze and study compilers behavior
por: Matos, Paulo
Publicado em: (2003)
por: Matos, Paulo
Publicado em: (2003)
groups A demonstration of compilability for UML template instances
por: Farinha, J.
Publicado em: (2016)
por: Farinha, J.
Publicado em: (2016)
article A formal treatment of the role of verified compilers in secure computation
por: Almeida, José Bacelar
Publicado em: (2022)
por: Almeida, José Bacelar
Publicado em: (2022)
article Large language models: compilers for the 4th generation of programming languages?
por: Marcondes, Francisco Supino
Publicado em: (2023)
por: Marcondes, Francisco Supino
Publicado em: (2023)
article A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocols
por: Almeida, José Bacelar
Publicado em: (2010)
por: Almeida, José Bacelar
Publicado em: (2010)
draft A Demonstration of compilability for UML template instances
por: Farinha, José
Publicado em: (2016)
por: Farinha, José
Publicado em: (2016)
article Certified compilation for cryptography: Extended x86 instructions and constant-time verification
por: Almeida, José Bacelar
Publicado em: (2020)
por: Almeida, José Bacelar
Publicado em: (2020)
article AspectLISA: an aspect-oriented compiler construction system based on attribute grammars
por: Rebernak, Damijan
Publicado em: (2006)
por: Rebernak, Damijan
Publicado em: (2006)
article Constructive and destructive use of compilers in elliptic curve cryptography
por: Barbosa, Manuel
Publicado em: (2009)
por: Barbosa, Manuel
Publicado em: (2009)
article A graphical interface based on grafcet for programming industrial robots off-line
por: Arnold, Gustavo V.
Publicado em: (2005)
por: Arnold, Gustavo V.
Publicado em: (2005)
article Applying compiler technology to solve generic
por: Matos, Paulo
Publicado em: (2003)
por: Matos, Paulo
Publicado em: (2003)
article Code analysis: past and present
por: Cruz, Daniela da
Publicado em: (2009)
por: Cruz, Daniela da
Publicado em: (2009)
article Light field image coding based on hybrid data representation
por: Monteiro, R.
Publicado em: (2020)
por: Monteiro, R.
Publicado em: (2020)
article Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
por: Almeida, José Bacelar
Publicado em: (2013)
por: Almeida, José Bacelar
Publicado em: (2013)
groups Light field image coding: objective performance assessment of Lenslet and 4D LF data representations
por: Monteiro, R. J. S.
Publicado em: (2018)
por: Monteiro, R. J. S.
Publicado em: (2018)
article Code inspection approaches for program visualization
por: Cruz, Daniela
Publicado em: (2009)
por: Cruz, Daniela
Publicado em: (2009)
article A solution to dynamically build an interactive visualization system to the DOLPHIN-FEW
por: Matos, Paulo
Publicado em: (2003)
por: Matos, Paulo
Publicado em: (2003)
article Why a new representation model for games: the code form
por: Matos, M. C. P.
Publicado em: (2015)
por: Matos, M. C. P.
Publicado em: (2015)
article Games in code form-introducing a new games representation
por: Ferreira, Manuel Alberto M.
Publicado em: (2014)
por: Ferreira, Manuel Alberto M.
Publicado em: (2014)
article DBTOR: a dynamic binary translation architecture for modern embedded systems
por: Salgado, Filipe Alexandre Andrade
Publicado em: (2019)
por: Salgado, Filipe Alexandre Andrade
Publicado em: (2019)
school Cryptographic library support for a certified compiler
por: Fernandes, Nuno Filipe Trovisco
Publicado em: (2014)
por: Fernandes, Nuno Filipe Trovisco
Publicado em: (2014)
article Specifying languages using aspect-oriented approach: aspectLISA
por: Rebernak, Damijan
Publicado em: (2006)
por: Rebernak, Damijan
Publicado em: (2006)
article Specifying languages using aspect-oriented approach: AspectLISA
por: Rebernak, Damijan
Publicado em: (2006)
por: Rebernak, Damijan
Publicado em: (2006)
article Combining low-code development with ChatGPT to novel no-code approaches: a focus-group study
por: Martins, José
Publicado em: (2023)
por: Martins, José
Publicado em: (2023)
school Upgrade of Lark Compiler Generator to support Attribute Grammars
por: Faria, Daniel Constantino Martins
Publicado em: (2024)
por: Faria, Daniel Constantino Martins
Publicado em: (2024)
groups A novel approach to joint video coding
por: Teixeira, Luis Miguel Lopes
Publicado em: (2008)
por: Teixeira, Luis Miguel Lopes
Publicado em: (2008)
school Scalable light field representation and coding
por: Monteiro, Ricardo Jorge Santos
Publicado em: (2020)
por: Monteiro, Ricardo Jorge Santos
Publicado em: (2020)
article Automatic generation of language-based tools using the LISA system
por: Henriques, Pedro Rangel
Publicado em: (2005)
por: Henriques, Pedro Rangel
Publicado em: (2005)
article Comparing generators for language-based tools
por: Cruz, Daniela
Publicado em: (2007)
por: Cruz, Daniela
Publicado em: (2007)
groups Design and performance of a novel low-density parity-check code for distributed video coding
por: Ascenso, Joao
Publicado em: (2008)
por: Ascenso, Joao
Publicado em: (2008)
article ABC with a UNIX flavor
por: Azevedo, Bruno M.
Publicado em: (2013)
por: Azevedo, Bruno M.
Publicado em: (2013)
Registos relacionados
-
article A framework to optimize compilation task
por: Matos, Paulo
Publicado em: (2007) -
article VisualLISA: a visual interface for an attribute grammar based compiler-compiler
por: Pereira, Maria João
Publicado em: (2008) -
article The design of a framework for compilers development
por: Matos, Paulo
Publicado em: (2005) -
article Dolphin-complab: a virtual compilers laboratory
por: Matos, Paulo
Publicado em: (2003) -
image Dolphin-complab: a virtual compilers laboratory
por: Matos, Paulo
Publicado em: (2003)