A máquina abstracta categorial
Autor(a) principal: | |
---|---|
Data de Publicação: | 2014 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/1822/34568 |
Resumo: | Dissertação de mestrado em Matemática e computação |
id |
RCAP_4b0393b3199d5cca701067ab747c37a9 |
---|---|
oai_identifier_str |
oai:repositorium.sdum.uminho.pt:1822/34568 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
A máquina abstracta categorial519.6Ciências Naturais::MatemáticasDissertação de mestrado em Matemática e computaçãoDesde o trabalho seminal de P. J. Landin nos anos 1960 que se têm utilizado máquinas abstractas para a implementação de linguagens de programação. Nos anos 1980 foi estabelecida uma correspondência entre o Cálculo λ e uma variante da Lógica Combinatória inspirada em categorias cartesianas fechadas. Desta relação surgiu uma máquina abstracta para a implementação do Cálculo λ — a Máquina Abstracta Categorial, ou CAM. Historicamente, esta nova máquina abstracta esteve na origem da linguagem de programação funcional Caml. Nesta dissertação explicamos como surgiu a CAM, exemplificamos o seu uso, demonstramos a sua correcção, e fazemos um enquadramento histórico à sua volta. Complementamos a literatura de referência ao formalizarmos e demonstrarmos correctas três extensões: constantes, condicionais e operador de ponto-fixo.Since the seminal work of P.J. Landin in the 1960s, abstract machines have been used for the implementation of programming languages. In the 1980s a correspondence has been established between λ-calculus and a variant of Combinatory Logic inspired by cartesian closed categories. From this relationship, an abstract machine has arised for the implementation of λ- calculus — the Categorical Abstract Machine, or CAM. Historically, this new abstract machine led to the functional programming language Caml. In this dissertation it is explained how the CAM emerged, it is illustrated its usage, it is demonstrated its correctness, and it is made an historical insersion. The reference literature is complemented by formalising and demonstrating the correctness of three extensions: constants, conditionals and fixed-point operator.Espírito Santo, JoséAlmeida, José BacelarUniversidade do MinhoPinho, Xavier Gomes20142014-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/34568por201348659info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:28:54Zoai:repositorium.sdum.uminho.pt:1822/34568Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:23:47.670931Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
A máquina abstracta categorial |
title |
A máquina abstracta categorial |
spellingShingle |
A máquina abstracta categorial Pinho, Xavier Gomes 519.6 Ciências Naturais::Matemáticas |
title_short |
A máquina abstracta categorial |
title_full |
A máquina abstracta categorial |
title_fullStr |
A máquina abstracta categorial |
title_full_unstemmed |
A máquina abstracta categorial |
title_sort |
A máquina abstracta categorial |
author |
Pinho, Xavier Gomes |
author_facet |
Pinho, Xavier Gomes |
author_role |
author |
dc.contributor.none.fl_str_mv |
Espírito Santo, José Almeida, José Bacelar Universidade do Minho |
dc.contributor.author.fl_str_mv |
Pinho, Xavier Gomes |
dc.subject.por.fl_str_mv |
519.6 Ciências Naturais::Matemáticas |
topic |
519.6 Ciências Naturais::Matemáticas |
description |
Dissertação de mestrado em Matemática e computação |
publishDate |
2014 |
dc.date.none.fl_str_mv |
2014 2014-01-01T00:00:00Z |
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/1822/34568 |
url |
http://hdl.handle.net/1822/34568 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
201348659 |
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 Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799132714006216704 |