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 demonstration of compilability for UML template instances
por: Farinha, J.
Publicado em: (2016)

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

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)

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

A Demonstration of compilability for UML template instances
por: Farinha, José
Publicado em: (2016)

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

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)

Incremental compilation and deployment for OutSystems Platform
por: Pires, Miguel Carvalho
Publicado em: (2014)

Virtual reality as a learning tool: evaluating the use and effectiveness of simulation laboratories in educational settings
por: Dodevska, Mila
Publicado em: (2025)

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

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

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)

Acquisition of higher-order experimental skills through remote and virtual laboratories
por: Restivo, Maria Teresa
Publicado em: (2013)

Automatic network configuration in virtualized environment using GNS3
por: Emiliano, Rodrigo
Publicado em: (2015)

Weighting and sequence of use of different lab environment in the teaching-learning process
por: Alves, Gustavo R.
Publicado em: (2008)

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

Collaborative virtual community to share class plans for STEAM education
por: Silva, Isabela
Publicado em: (2019)

Clonogenic Assay. Virtual Lab video
por: Pinto, Fátima
Publicado em: (2021)

Transepithelial Electrical Resistance (TEER) measurement. Virtual Lab video
por: Rolo, Dora
Publicado em: (2021)

The VISIR Open Lab Platform 5.0 - an architecture of a federation of remote laboratories
por: Gustavsson, Ingvar
Publicado em: (2011)

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

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)

A construção de objectos de aprendizagem multimédia: o protótipo “Laboratório Virtual"
por: Sol, Paulo
Publicado em: (2012)

Mobile laboratories as an alternative to conventional remote laboratories
por: Saliah-Hassane, Hamadou
Publicado em: (2017)

A target environment programming language to improve developer's productivity: a case study
por: Metrôlho, J.C.M.M.
Publicado em: (2010)