1. Biblioteca Digital de Trabalhos de Conclusão de Curso
  2. Trabalhos de Conclusão de Curso de Graduação
  3. Ciência da Computação
Use este identificador para citar ou linkar para este item: http://www.monografias.ufop.br/handle/35400000/2738
Registro completo de metadados
Campo Dublin CoreValorIdioma
dc.contributor.advisorRibeiro, Rodrigo Geraldopt_BR
dc.contributor.authorAmaro, Maycon José Jorge-
dc.date.accessioned2020-11-23T13:16:23Z-
dc.date.available2020-11-23T13:16:23Z-
dc.date.issued2020-
dc.identifier.citationAMARO, Maycon José Jorge. Semântica denotacional para o lambda cálculo computacional em Agda. 2020. 26 f. Monografia (Graduação em Ciência da Computação) - Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto, Ouro Preto, 2020.pt_BR
dc.identifier.urihttp://www.monografias.ufop.br/handle/35400000/2738-
dc.description.abstractNovos recursos para linguagens de programação precisam de uma base teórica sólida antes de serem implementados, e frequentemente são modelados através de um sistema menor—os λ-cálculos—capaz de capturar a essência das linguagens e separá-las dos syntatic sugars. A semântica denotacional desses sistemas é extremamente útil para o racícionio sobre programas e suas propriedades. Este trabalho formaliza, em Agda, o modelo padrão de uma semântica denotacional para o λ-cálculo computacional, que estende o λ-cálculo tipado simples com um operador modal usado para definir computações envolvendo diferentes efeitos colaterais.pt_BR
dc.language.isopt_BRpt_BR
dc.subjectLinguagem de programação - semânticapt_BR
dc.subjectLinguagem de programação - lambda cálculopt_BR
dc.subjectConjuntos - teoria dos tipospt_BR
dc.titleSemântica denotacional para o lambda cálculo computacional em Agda.pt_BR
dc.typeTCC-Graduaçãopt_BR
dc.contributor.refereeRibeiro, Rodrigo Geraldopt_BR
dc.contributor.refereeCoelho, Dayanne Gouveiapt_BR
dc.contributor.refereeFeitosa, Samuel da Silvapt_BR
dc.description.abstractenNew features for programming languages require solid foundations before implementation. These features are often modeled by smaller systems—the λ-calculi—that capture the language’s core and separate them from the syntatic sugars. The denotational semantics of those systems are a very helpful tool in reasoning about programs and their properties. This work formalizes, in Agda, the standard model for the computational λ-calculus, a system that extends the simply typed λ-calculus with a modal operator used to define computations involving different side effects.pt_BR
dc.contributor.authorID15.1.4009pt_BR
Aparece nas coleções:Ciência da Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
MONOGRAFIA_SemanticaDenotacionalLambda.pdf454,3 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Este item está licenciado sob uma Licença Creative Commons Creative Commons