Especificação de um sistema de suporte a implementação de linguagens
Autor(a) principal: | |
---|---|
Data de Publicação: | 1987 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFRGS |
Texto Completo: | http://hdl.handle.net/10183/26697 |
Resumo: | Neste trabalho é descrita a organização de SINSEM, um sistema de processamento automático de especificação SINtático-SEMânticas de linguagens de programação. É colocada a motivação para um tal sistema, em relação ao uso que se daria a ele. O sistema é situado entre sistemas similares, dos quais alguns são brevemente descritos, incluindo-se exemplos de uso. Procura-se estabelecer conceitos relativos as trabalho com sistemas de auxilio ao projeto e à implementação de linguagens de programação. É discutida a estrutura lógica do sistema e uma filosofia de utilização, bem como é apresentada a nova metalinguagem proposta construído a partir da notação BNF, com extensões para se exprimir a semântica de uma linguagem de um modo construtivo, permitindo a especificação de gramáticas livres do contexto sem recursões a esquerda, visando a produção de reconhecedores recursivos descendentes dotados de ações semânticas. São apresentadas a sintaxe concreta e estática da metalinguagem, explicando-se também as funções semânticas (do tipo estático e do tipo concreto) pré-definidas no ambiente de desenvolvimento onde a ferramenta se integra. Tal ambiente pode ser operado por um conjunto de comandos que constituem uma interface (o "envelope"), que inclui também uma biblioteca sintático-semântica (que pode ser atualizada pelo usuário). A interface é descrita por meio de DFD'S E DE UM DICIONÁRIO DE DADOS. Ao final é apresentado um exemplo, parcialmente comentado (capítulo 5), de definição completa de uma linguagem de programação (CSSD), usando-se a metalinguagem proposta e os itens pré-definidos da biblioteca sintático-semântica. |
id |
URGS_2bb739238bbd8a5ff20404f8d6e08b13 |
---|---|
oai_identifier_str |
oai:www.lume.ufrgs.br:10183/26697 |
network_acronym_str |
URGS |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
repository_id_str |
1853 |
spelling |
Rodrigues, Celso Luiz LopesAzeredo, Paulo Alberto de2010-11-09T04:19:32Z1987http://hdl.handle.net/10183/26697000255507Neste trabalho é descrita a organização de SINSEM, um sistema de processamento automático de especificação SINtático-SEMânticas de linguagens de programação. É colocada a motivação para um tal sistema, em relação ao uso que se daria a ele. O sistema é situado entre sistemas similares, dos quais alguns são brevemente descritos, incluindo-se exemplos de uso. Procura-se estabelecer conceitos relativos as trabalho com sistemas de auxilio ao projeto e à implementação de linguagens de programação. É discutida a estrutura lógica do sistema e uma filosofia de utilização, bem como é apresentada a nova metalinguagem proposta construído a partir da notação BNF, com extensões para se exprimir a semântica de uma linguagem de um modo construtivo, permitindo a especificação de gramáticas livres do contexto sem recursões a esquerda, visando a produção de reconhecedores recursivos descendentes dotados de ações semânticas. São apresentadas a sintaxe concreta e estática da metalinguagem, explicando-se também as funções semânticas (do tipo estático e do tipo concreto) pré-definidas no ambiente de desenvolvimento onde a ferramenta se integra. Tal ambiente pode ser operado por um conjunto de comandos que constituem uma interface (o "envelope"), que inclui também uma biblioteca sintático-semântica (que pode ser atualizada pelo usuário). A interface é descrita por meio de DFD'S E DE UM DICIONÁRIO DE DADOS. Ao final é apresentado um exemplo, parcialmente comentado (capítulo 5), de definição completa de uma linguagem de programação (CSSD), usando-se a metalinguagem proposta e os itens pré-definidos da biblioteca sintático-semântica.In this work it is specified the constitution of SINSEM, an automatic processing system for SYNtactic and SEMantic specifications of programming languages. it is discussed motivation for such a system, according to uses it could have. The system is situated among similar systems, and some of these are briefly described, including examples. It is attempted to establish concepts about working with ,design and implementation aiding systems for programming languages. It is discussed the logical structure of the system and a philosophy of use, as well is presented a new metalanguage proposal for syntactic and semantic descriptions that is a production system constructed from BNF notation, with extensions to give language semantics in a constructive way, allowing specification of free context grammars with no left recursions, aiming the generation of preliminary versions of recursive descent parsers with semantic actions. The abstract and concrete syntax of the metalanguage are presented, and are also explained the semantic functions (of static and concrete type) predefined with and within the development environment where this frame is inserted. That environment can be operated by a set of commands that constitutes an interface ( the " envelope") wich includes too a syntactic-semantic library ( this can be made up to date by the user own). The interface is described by means of a set of DFD's and a data dictionary. At the end. it is presented an example, partially commented (chapter 5), of a complete definition of a programming language ( CSSD ), using the proposed metalanguage and the predefined items of the syntactic-semantic iibrary.application/pdfporLinguagens : ProgramacaoProgrammingLanguagesMetalanguagesSyntactic and semantic descriptionProgramming languagesImplementation support systemsEspecificação de um sistema de suporte a implementação de linguagensSpecification of a support system to language implementation info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaCurso de Pós-Graduação em Ciência da ComputaçãoPorto Alegre, BR-RS1987mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000255507.pdf000255507.pdfTexto completoapplication/pdf22900989http://www.lume.ufrgs.br/bitstream/10183/26697/1/000255507.pdfba2c17b195d6745ee54d43cff5793528MD51TEXT000255507.pdf.txt000255507.pdf.txtExtracted Texttext/plain106911http://www.lume.ufrgs.br/bitstream/10183/26697/2/000255507.pdf.txt82728a386ad647917718048a0ab0aa7eMD52THUMBNAIL000255507.pdf.jpg000255507.pdf.jpgGenerated Thumbnailimage/jpeg1169http://www.lume.ufrgs.br/bitstream/10183/26697/3/000255507.pdf.jpgdc51f793d606edb8cd557d28a0b52e47MD5310183/266972018-10-11 08:25:24.75oai:www.lume.ufrgs.br:10183/26697Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-11T11:25:24Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false |
dc.title.pt_BR.fl_str_mv |
Especificação de um sistema de suporte a implementação de linguagens |
dc.title.alternative.en.fl_str_mv |
Specification of a support system to language implementation |
title |
Especificação de um sistema de suporte a implementação de linguagens |
spellingShingle |
Especificação de um sistema de suporte a implementação de linguagens Rodrigues, Celso Luiz Lopes Linguagens : Programacao Programming Languages Metalanguages Syntactic and semantic description Programming languages Implementation support systems |
title_short |
Especificação de um sistema de suporte a implementação de linguagens |
title_full |
Especificação de um sistema de suporte a implementação de linguagens |
title_fullStr |
Especificação de um sistema de suporte a implementação de linguagens |
title_full_unstemmed |
Especificação de um sistema de suporte a implementação de linguagens |
title_sort |
Especificação de um sistema de suporte a implementação de linguagens |
author |
Rodrigues, Celso Luiz Lopes |
author_facet |
Rodrigues, Celso Luiz Lopes |
author_role |
author |
dc.contributor.author.fl_str_mv |
Rodrigues, Celso Luiz Lopes |
dc.contributor.advisor1.fl_str_mv |
Azeredo, Paulo Alberto de |
contributor_str_mv |
Azeredo, Paulo Alberto de |
dc.subject.por.fl_str_mv |
Linguagens : Programacao |
topic |
Linguagens : Programacao Programming Languages Metalanguages Syntactic and semantic description Programming languages Implementation support systems |
dc.subject.eng.fl_str_mv |
Programming Languages Metalanguages Syntactic and semantic description Programming languages Implementation support systems |
description |
Neste trabalho é descrita a organização de SINSEM, um sistema de processamento automático de especificação SINtático-SEMânticas de linguagens de programação. É colocada a motivação para um tal sistema, em relação ao uso que se daria a ele. O sistema é situado entre sistemas similares, dos quais alguns são brevemente descritos, incluindo-se exemplos de uso. Procura-se estabelecer conceitos relativos as trabalho com sistemas de auxilio ao projeto e à implementação de linguagens de programação. É discutida a estrutura lógica do sistema e uma filosofia de utilização, bem como é apresentada a nova metalinguagem proposta construído a partir da notação BNF, com extensões para se exprimir a semântica de uma linguagem de um modo construtivo, permitindo a especificação de gramáticas livres do contexto sem recursões a esquerda, visando a produção de reconhecedores recursivos descendentes dotados de ações semânticas. São apresentadas a sintaxe concreta e estática da metalinguagem, explicando-se também as funções semânticas (do tipo estático e do tipo concreto) pré-definidas no ambiente de desenvolvimento onde a ferramenta se integra. Tal ambiente pode ser operado por um conjunto de comandos que constituem uma interface (o "envelope"), que inclui também uma biblioteca sintático-semântica (que pode ser atualizada pelo usuário). A interface é descrita por meio de DFD'S E DE UM DICIONÁRIO DE DADOS. Ao final é apresentado um exemplo, parcialmente comentado (capítulo 5), de definição completa de uma linguagem de programação (CSSD), usando-se a metalinguagem proposta e os itens pré-definidos da biblioteca sintático-semântica. |
publishDate |
1987 |
dc.date.issued.fl_str_mv |
1987 |
dc.date.accessioned.fl_str_mv |
2010-11-09T04:19:32Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10183/26697 |
dc.identifier.nrb.pt_BR.fl_str_mv |
000255507 |
url |
http://hdl.handle.net/10183/26697 |
identifier_str_mv |
000255507 |
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:Biblioteca Digital de Teses e Dissertações 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 |
Biblioteca Digital de Teses e Dissertações da UFRGS |
collection |
Biblioteca Digital de Teses e Dissertações da UFRGS |
bitstream.url.fl_str_mv |
http://www.lume.ufrgs.br/bitstream/10183/26697/1/000255507.pdf http://www.lume.ufrgs.br/bitstream/10183/26697/2/000255507.pdf.txt http://www.lume.ufrgs.br/bitstream/10183/26697/3/000255507.pdf.jpg |
bitstream.checksum.fl_str_mv |
ba2c17b195d6745ee54d43cff5793528 82728a386ad647917718048a0ab0aa7e dc51f793d606edb8cd557d28a0b52e47 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS) |
repository.mail.fl_str_mv |
lume@ufrgs.br||lume@ufrgs.br |
_version_ |
1810085187942350848 |