Publicação
DOLPHIN-FEW - An example of a Web system to analyze and study compilers behavior
| Resumo: | DOLPHIN is a framework conceived to develop and test compiler components. DOLPHIN-FEW (Front-End for the Web) is the DOLPHIN module that integrates all Web-related functionalities. Initially conceived to monitor the behavior of some routines of the compilers back-end, it is, nowadays, also usable as a visual tool to teach how those code analysis, optimization, and code generation routines work. This paper introduces DOLPHIN-FEW, a software system that takes advantage of the web environment and associated technologies to be a powerful pedagogical tool to teach compiler construction topics. |
|---|---|
| Autores principais: | Matos, Paulo |
| Outros Autores: | Henriques, Pedro Rangel |
| Assunto: | Compiler construction Training e-learning |
| Ano: | 2003 |
| 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 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 - a system for compilers development, teach and use
por: Matos, Paulo
Publicado em: (2003)
por: Matos, Paulo
Publicado em: (2003)
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 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 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 A framework to optimize compilation task
por: Matos, Paulo
Publicado em: (2007)
por: Matos, Paulo
Publicado em: (2007)
article The design of a framework for compilers development
por: Matos, Paulo
Publicado em: (2005)
por: Matos, Paulo
Publicado em: (2005)
article DIR - A code representation approach for compilers
por: Matos, Paulo
Publicado em: (2004)
por: Matos, Paulo
Publicado em: (2004)
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)
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 AspectLISA: an aspect-oriented compiler construction system based on attribute grammars
por: Rebernak, Damijan
Publicado em: (2006)
por: Rebernak, Damijan
Publicado em: (2006)
school Incremental compilation and deployment for OutSystems Platform
por: Pires, Miguel Carvalho
Publicado em: (2014)
por: Pires, Miguel Carvalho
Publicado em: (2014)
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 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 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 Constructive and destructive use of compilers in elliptic curve cryptography
por: Barbosa, Manuel
Publicado em: (2009)
por: Barbosa, Manuel
Publicado em: (2009)
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)
school A CUDA backend for Marrow and its Optimisation via Machine Learning
por: Valente, Pedro de Almeida Amaral Ramos
Publicado em: (2022)
por: Valente, Pedro de Almeida Amaral Ramos
Publicado em: (2022)
article The COPLE2 Corpus: a Learner Corpus for Portuguese
por: Mendes, Amália
Publicado em: (2016)
por: Mendes, Amália
Publicado em: (2016)
article A target environment programming language to improve developer's productivity: a case study
por: Metrôlho, J.C.M.M.
Publicado em: (2010)
por: Metrôlho, J.C.M.M.
Publicado em: (2010)
article Comparing generators for language-based tools
por: Cruz, Daniela
Publicado em: (2007)
por: Cruz, Daniela
Publicado em: (2007)
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)
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 Orthogonal persistence in Java supported by aspect- oriented programming and reflection
por: Pereira, Rui Humberto
Publicado em: (2011)
por: Pereira, Rui Humberto
Publicado em: (2011)
groups A real-time system for robot manipulator inverse dynamics computation
por: Machado, J. A. Tenreiro
Publicado em: (1988)
por: Machado, J. A. Tenreiro
Publicado em: (1988)
article ABC with a UNIX flavor
por: Azevedo, Bruno M.
Publicado em: (2013)
por: Azevedo, Bruno M.
Publicado em: (2013)
article Compilative translation and the role of the translator in the Portuguese theater: the Case of Claudio Tolcachir’s A Omissão da Família Coleman (2017-2023)
por: Maia, Rita Bueno
Publicado em: (2022)
por: Maia, Rita Bueno
Publicado em: (2022)
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 VisualLISA: a domain specific visual language for attribute grammars
por: Oliveira, Nuno
Publicado em: (2009)
por: Oliveira, Nuno
Publicado em: (2009)
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 From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C
por: Natarajan, Saranya
Publicado em: (2020)
por: Natarajan, Saranya
Publicado em: (2020)
article Compilative translation and the role of translator in the portuguese theater: the case of Claudio Tolcachir’s A omissão da família Coleman (2017-2023)
por: Maia, Rita Bueno
Publicado em: (2022)
por: Maia, Rita Bueno
Publicado em: (2022)
article Jasmin: high-assurance and high-speed cryptography
por: Almeida, José Bacelar
Publicado em: (2017)
por: Almeida, José Bacelar
Publicado em: (2017)
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)
mic Modelling with PDEs: the example of traffic flow, a few aspects
por: Correia, Joaquim M.C.
Publicado em: (2026)
por: Correia, Joaquim M.C.
Publicado em: (2026)
Registos relacionados
-
article Dolphin-FEW: an architecture for compilers development, monitoring and use on the web
por: Matos, Paulo
Publicado em: (2003) -
article DOLPHIN - a system for compilers development, teach and use
por: Matos, Paulo
Publicado em: (2003) -
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) -
article A solution to dynamically build an interactive visualization system to the DOLPHIN-FEW
por: Matos, Paulo
Publicado em: (2003)