Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos

Detalhes bibliográficos
Autor(a) principal: Matschulat, Samuel Grimm
Data de Publicação: 2016
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/151038
Resumo: Neste trabalho é descrita a implementação de um software aplicativo gráfico, denominado Cool Inspector, cujo objetivo é oferecer um ambiente que permite a visualização detalhada, tendo a área de semântica formal como contexto, dos passos de avaliação de programas escritos na linguagem Cool 2016. Esta linguagem foi desenvolvida por John Tang Boyland com o objetivo de ser implementada por estudantes de cursos de compiladores no período de um semestre. Os passos de execução de programas são descritos em termos de aplicações de regras da semântica operacional da linguagem, que descrevem de modo formal o comportamento de um programa e compõem uma árvore de prova que mostra a derivação do resultado proveniente de sua execução.
id UFRGS-2_ec9802b278e1c3db13fcb93ea8e19c74
oai_identifier_str oai:www.lume.ufrgs.br:10183/151038
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Matschulat, Samuel GrimmMoreira, Alvaro FreitasMachado, Rodrigo2017-01-19T02:30:17Z2016http://hdl.handle.net/10183/151038001009883Neste trabalho é descrita a implementação de um software aplicativo gráfico, denominado Cool Inspector, cujo objetivo é oferecer um ambiente que permite a visualização detalhada, tendo a área de semântica formal como contexto, dos passos de avaliação de programas escritos na linguagem Cool 2016. Esta linguagem foi desenvolvida por John Tang Boyland com o objetivo de ser implementada por estudantes de cursos de compiladores no período de um semestre. Os passos de execução de programas são descritos em termos de aplicações de regras da semântica operacional da linguagem, que descrevem de modo formal o comportamento de um programa e compõem uma árvore de prova que mostra a derivação do resultado proveniente de sua execução.This thesis describes the implementation of a graphical software application, named Cool Inspector, whose objective is to allow for a detailed visualization, with the area of formal semantics as context, of the evaluation steps of programs written in the Cool 2016 language. This language was developed by John Tang Boyland with the goal of being implemented by students of compiler courses during a semester. These execution steps are described in terms of applications of the operational semantics rules of the language, which formally describe the behavior of a program and form a proof tree that shows the derivation of the result obtained from the program’s execution.application/pdfporLinguagens formaisFormal semanticsType systemsObject-oriented languagesAmbiente didático para experimentação com a definição formal de linguagens orientadas a objetosDidactic environment for experimentation with the formal definition of object-oriented languages info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPorto Alegre, BR-RS2016Ciência da Computação: Ênfase em Ciência da Computação: Bachareladograduaçãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL001009883.pdf001009883.pdfTexto completoapplication/pdf521965http://www.lume.ufrgs.br/bitstream/10183/151038/1/001009883.pdf53a06acc792638a16276db70d678e125MD51TEXT001009883.pdf.txt001009883.pdf.txtExtracted Texttext/plain74072http://www.lume.ufrgs.br/bitstream/10183/151038/2/001009883.pdf.txte3ba976c04376ef29cefd76ace818470MD52THUMBNAIL001009883.pdf.jpg001009883.pdf.jpgGenerated Thumbnailimage/jpeg1061http://www.lume.ufrgs.br/bitstream/10183/151038/3/001009883.pdf.jpge117cf83d2eca09b1244449a119ad08bMD5310183/1510382018-10-30 08:30:11.907oai:www.lume.ufrgs.br:10183/151038Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2018-10-30T11:30:11Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
dc.title.alternative.en.fl_str_mv Didactic environment for experimentation with the formal definition of object-oriented languages
title Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
spellingShingle Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
Matschulat, Samuel Grimm
Linguagens formais
Formal semantics
Type systems
Object-oriented languages
title_short Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
title_full Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
title_fullStr Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
title_full_unstemmed Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
title_sort Ambiente didático para experimentação com a definição formal de linguagens orientadas a objetos
author Matschulat, Samuel Grimm
author_facet Matschulat, Samuel Grimm
author_role author
dc.contributor.author.fl_str_mv Matschulat, Samuel Grimm
dc.contributor.advisor1.fl_str_mv Moreira, Alvaro Freitas
dc.contributor.advisor-co1.fl_str_mv Machado, Rodrigo
contributor_str_mv Moreira, Alvaro Freitas
Machado, Rodrigo
dc.subject.por.fl_str_mv Linguagens formais
topic Linguagens formais
Formal semantics
Type systems
Object-oriented languages
dc.subject.eng.fl_str_mv Formal semantics
Type systems
Object-oriented languages
description Neste trabalho é descrita a implementação de um software aplicativo gráfico, denominado Cool Inspector, cujo objetivo é oferecer um ambiente que permite a visualização detalhada, tendo a área de semântica formal como contexto, dos passos de avaliação de programas escritos na linguagem Cool 2016. Esta linguagem foi desenvolvida por John Tang Boyland com o objetivo de ser implementada por estudantes de cursos de compiladores no período de um semestre. Os passos de execução de programas são descritos em termos de aplicações de regras da semântica operacional da linguagem, que descrevem de modo formal o comportamento de um programa e compõem uma árvore de prova que mostra a derivação do resultado proveniente de sua execução.
publishDate 2016
dc.date.issued.fl_str_mv 2016
dc.date.accessioned.fl_str_mv 2017-01-19T02:30:17Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/151038
dc.identifier.nrb.pt_BR.fl_str_mv 001009883
url http://hdl.handle.net/10183/151038
identifier_str_mv 001009883
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/151038/1/001009883.pdf
http://www.lume.ufrgs.br/bitstream/10183/151038/2/001009883.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/151038/3/001009883.pdf.jpg
bitstream.checksum.fl_str_mv 53a06acc792638a16276db70d678e125
e3ba976c04376ef29cefd76ace818470
e117cf83d2eca09b1244449a119ad08b
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1815447186739036160

Registros relacionados