Publicação

Dolphin-complab: a virtual compilers laboratory

Detalhes bibliográficos
Resumo:	DOLPHIN-COMPLAB is a project to implement a virtual laboratory containing all the necessary features for the development of compilers and compiler components. It was conceived to supply an environment for assisted cooperative work, based on the web technologies, and to be used by teams of investigators, developers or simple teacher/students.
Autores principais:	Matos, Paulo
Outros Autores:	Henriques, Pedro
Assunto:	Compilers Virtual labs
Ano:	2003
País:	Portugal
Tipo de documento:	comunicação em conferência
Tipo de acesso:	acesso aberto
Instituição associada:	Instituto Politécnico de Bragança
Idioma:	inglês
Origem:	Biblioteca Digital do IPB

Registos relacionados

Dolphin-complab: a virtual compilers laboratory
por: Matos, Paulo
Publicado em: (2003)

DOLPHIN - a system for compilers development, teach and use
por: Matos, Paulo
Publicado em: (2003)

Dolphin-FEW: an architecture for compilers development, monitoring and use on the web
por: Matos, Paulo
Publicado em: (2003)

DOLPHIN-FEW - An example of a Web system to analyze and study compilers behavior
por: Matos, Paulo
Publicado em: (2003)

A framework to optimize compilation task
por: Matos, Paulo
Publicado em: (2007)

VisualLISA: a visual interface for an attribute grammar based compiler-compiler
por: Pereira, Maria João
Publicado em: (2008)

The design of a framework for compilers development
por: Matos, Paulo
Publicado em: (2005)

DIR - A code representation approach for compilers
por: Matos, Paulo
Publicado em: (2004)

Compiler assisted elliptic curve cryptography
por: Barbosa, Manuel
Publicado em: (2007)

Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols
por: Almeida, José Bacelar
Publicado em: (2012)

A formal treatment of the role of verified compilers in secure computation
por: Almeida, José Bacelar
Publicado em: (2022)

Virtual laboratories in (bio)chemical engineering education
por: Domingues, Lucília
Publicado em: (2008)

Virtual laboratories in (bio)chemical engineering education
por: Domingues, Lucília
Publicado em: (2010)

A solution to dynamically build an interactive visualization system to the DOLPHIN-FEW
por: Matos, Paulo
Publicado em: (2003)

Large language models: compilers for the 4th generation of programming languages?
por: Marcondes, Francisco Supino
Publicado em: (2023)

A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocols
por: Almeida, José Bacelar
Publicado em: (2010)

Web-assisted laboratory for control education : remote and virtual environments
por: Leão, Celina Pinto
Publicado em: (2012)

Certified compilation for cryptography: Extended x86 instructions and constant-time verification
por: Almeida, José Bacelar
Publicado em: (2020)

AspectLISA: an aspect-oriented compiler construction system based on attribute grammars
por: Rebernak, Damijan
Publicado em: (2006)

Constructive and destructive use of compilers in elliptic curve cryptography
por: Barbosa, Manuel
Publicado em: (2009)

A multidisciplinary experience in Remote Physiological Systems laboratory
por: Barros, C.
Publicado em: (2013)

RePhyS: a multidisciplinary experience in remote physiological systems laboratory
por: Barros, C.
Publicado em: (2013)

Remote physiological systems (RePhyS) laboratory: a didactic learning environment
por: Barros, C.
Publicado em: (2013)

The Portuguese Contribution for lab2go - pt.lab2go
por: Restivo, Maria Teresa
Publicado em: (2013)

A virtual workbench applied to automation: student's response analysis
por: Machado, José
Publicado em: (2015)

Sistema de instrumentação virtual para monitorização de máquinas eléctricas
por: Leite, V.
Publicado em: (2001)

PAIR: the remote industrial automation trainer
por: Silva, Mário
Publicado em: (2015)

Industrial controlling process using the remote industrial automation trainer PAIR
por: Silva, M.
Publicado em: (2015)

Automatic generation of language-based tools using the LISA system
por: Henriques, Pedro Rangel
Publicado em: (2005)

Comparing generators for language-based tools
por: Cruz, Daniela
Publicado em: (2007)

EWVM - an Educational Web Virtual Machine
por: Teixeira, Sofia Almeida
Publicado em: (2022)

Cryptographic library support for a certified compiler
por: Fernandes, Nuno Filipe Trovisco
Publicado em: (2014)

Upgrade of Lark Compiler Generator to support Attribute Grammars
por: Faria, Daniel Constantino Martins
Publicado em: (2024)

Virtual laboratory for educational environments
por: Dias, Fábio
Publicado em: (2014)

Laboratories based on internet : comparative analysis of current experiences and development of a virtual laboratory
por: Bottentuit Junior, João Batista
Publicado em: (2006)

Power quality studies using a developed low cost power quality monitor
por: Costa, José C. C.
Publicado em: (2006)

Virtual lab virtues in distance learning
por: Pereira, Tiago C.
Publicado em: (2022)

ABC with a UNIX flavor
por: Azevedo, Bruno M.
Publicado em: (2013)

LabDER - Laboratório Virtual de Ensino-Aprendizagem de Banco de Dados Relacionais: Uma abordagem de avaliação automática de Diagramas ER e SQL
por: Lino, Adriano Del Pino
Publicado em: (2021)

Virtual laboratories and m-learning: learning with mobile devices
por: Bottentuit Junior, João Batista
Publicado em: (2007)