Inferência de tipos com suporte para sobrecarga baseada no sistema CT
Autor(a) principal: | |
---|---|
Data de Publicação: | 2004 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFMG |
Texto Completo: | http://hdl.handle.net/1843/RVMR-65VJKR |
Resumo: | Este trabalho aborda o problema da inferência de tipos com definições sobrecarregadas, apresentando uma revisão do sistema de tipos CT. Esse sistema é uma extensão do sistema proposto por Damas-Milner com suporte para sobrecarga de nomes, onde restrições de tipo são usadas em tipos polimórficos para indicar restrições de instanciação desses tipos, de acordo com definições sobrecarregadas existentes. a inferência de tipos nesse sistema envolve a resolução para o problema da satisfazibilidade de restrições, que trata de decidir se um dado conjunto de restrições de um tipo polimórfico é válido ou não, em um determinado contexto de tipos. Políticas para resolução de sobrecarga muito restritirvas têm sido adotadas para garantir a deibilidade deste problemas. O sistema CT adota uma política de resolução de sobrecarga muito menos restritiva que as presentes em sistemas de tipos similares. As principais contribuições desse trabalho são: uma definição formal do problema de satisfazibilidade de restrições independente das regras de derivação do sistema de tipos, apresentação de um algoritmo para a solução desse problema e a implementação de um protótipo que demonstra que a adoção de uma política de sobrecarga menos restritiva pode funcionar bem na prática. Nos testes realizados com a implementação desse algoritmo, usando código similar a programas implemtnados em Haskell, não foi encotnrada nenhuma situação em que a satisfazibilidade das restrições não pode ser decidida. Para estes casos é utilizado um limite de iteração para interromper o processo e rejeitar a expressão, indicando a ocorrência de um erro de tipo. |
id |
UFMG_902af8e4e675e08ce5f39106c3f25445 |
---|---|
oai_identifier_str |
oai:repositorio.ufmg.br:1843/RVMR-65VJKR |
network_acronym_str |
UFMG |
network_name_str |
Repositório Institucional da UFMG |
repository_id_str |
|
spelling |
Carlos Camarao de FigueiredoLucília Camarão de FigueiredoAndré Luis de Medeiros SantosLucilia Camarão de FigueiredoRoberto ierusalimchyMariza Andrade da Silva BigonhaRoberto da Silva BigonhaCristiano Damiani Vasconcellos2019-08-14T02:38:30Z2019-08-14T02:38:30Z2004-10-01http://hdl.handle.net/1843/RVMR-65VJKREste trabalho aborda o problema da inferência de tipos com definições sobrecarregadas, apresentando uma revisão do sistema de tipos CT. Esse sistema é uma extensão do sistema proposto por Damas-Milner com suporte para sobrecarga de nomes, onde restrições de tipo são usadas em tipos polimórficos para indicar restrições de instanciação desses tipos, de acordo com definições sobrecarregadas existentes. a inferência de tipos nesse sistema envolve a resolução para o problema da satisfazibilidade de restrições, que trata de decidir se um dado conjunto de restrições de um tipo polimórfico é válido ou não, em um determinado contexto de tipos. Políticas para resolução de sobrecarga muito restritirvas têm sido adotadas para garantir a deibilidade deste problemas. O sistema CT adota uma política de resolução de sobrecarga muito menos restritiva que as presentes em sistemas de tipos similares. As principais contribuições desse trabalho são: uma definição formal do problema de satisfazibilidade de restrições independente das regras de derivação do sistema de tipos, apresentação de um algoritmo para a solução desse problema e a implementação de um protótipo que demonstra que a adoção de uma política de sobrecarga menos restritiva pode funcionar bem na prática. Nos testes realizados com a implementação desse algoritmo, usando código similar a programas implemtnados em Haskell, não foi encotnrada nenhuma situação em que a satisfazibilidade das restrições não pode ser decidida. Para estes casos é utilizado um limite de iteração para interromper o processo e rejeitar a expressão, indicando a ocorrência de um erro de tipo.Universidade Federal de Minas GeraisUFMGLinguagem de programação (Computadores)ComputaçãoSistemas de tiposSobrecargaPolimorfismoLinguagens de programaçãoInferência de tiposInferência de tipos com suporte para sobrecarga baseada no sistema CTinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALcristiano_damiani.pdfapplication/pdf563703https://repositorio.ufmg.br/bitstream/1843/RVMR-65VJKR/1/cristiano_damiani.pdf247a80dded0d22c1f0ab24733c0802d5MD51TEXTcristiano_damiani.pdf.txtcristiano_damiani.pdf.txtExtracted texttext/plain171445https://repositorio.ufmg.br/bitstream/1843/RVMR-65VJKR/2/cristiano_damiani.pdf.txta6a1b6e448e278daabb248bf53a57e65MD521843/RVMR-65VJKR2019-11-14 13:04:48.264oai:repositorio.ufmg.br:1843/RVMR-65VJKRRepositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-14T16:04:48Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false |
dc.title.pt_BR.fl_str_mv |
Inferência de tipos com suporte para sobrecarga baseada no sistema CT |
title |
Inferência de tipos com suporte para sobrecarga baseada no sistema CT |
spellingShingle |
Inferência de tipos com suporte para sobrecarga baseada no sistema CT Cristiano Damiani Vasconcellos Sistemas de tipos Sobrecarga Polimorfismo Linguagens de programação Inferência de tipos Linguagem de programação (Computadores) Computação |
title_short |
Inferência de tipos com suporte para sobrecarga baseada no sistema CT |
title_full |
Inferência de tipos com suporte para sobrecarga baseada no sistema CT |
title_fullStr |
Inferência de tipos com suporte para sobrecarga baseada no sistema CT |
title_full_unstemmed |
Inferência de tipos com suporte para sobrecarga baseada no sistema CT |
title_sort |
Inferência de tipos com suporte para sobrecarga baseada no sistema CT |
author |
Cristiano Damiani Vasconcellos |
author_facet |
Cristiano Damiani Vasconcellos |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Carlos Camarao de Figueiredo |
dc.contributor.advisor-co1.fl_str_mv |
Lucília Camarão de Figueiredo |
dc.contributor.referee1.fl_str_mv |
André Luis de Medeiros Santos |
dc.contributor.referee2.fl_str_mv |
Lucilia Camarão de Figueiredo |
dc.contributor.referee3.fl_str_mv |
Roberto ierusalimchy |
dc.contributor.referee4.fl_str_mv |
Mariza Andrade da Silva Bigonha |
dc.contributor.referee5.fl_str_mv |
Roberto da Silva Bigonha |
dc.contributor.author.fl_str_mv |
Cristiano Damiani Vasconcellos |
contributor_str_mv |
Carlos Camarao de Figueiredo Lucília Camarão de Figueiredo André Luis de Medeiros Santos Lucilia Camarão de Figueiredo Roberto ierusalimchy Mariza Andrade da Silva Bigonha Roberto da Silva Bigonha |
dc.subject.por.fl_str_mv |
Sistemas de tipos Sobrecarga Polimorfismo Linguagens de programação Inferência de tipos |
topic |
Sistemas de tipos Sobrecarga Polimorfismo Linguagens de programação Inferência de tipos Linguagem de programação (Computadores) Computação |
dc.subject.other.pt_BR.fl_str_mv |
Linguagem de programação (Computadores) Computação |
description |
Este trabalho aborda o problema da inferência de tipos com definições sobrecarregadas, apresentando uma revisão do sistema de tipos CT. Esse sistema é uma extensão do sistema proposto por Damas-Milner com suporte para sobrecarga de nomes, onde restrições de tipo são usadas em tipos polimórficos para indicar restrições de instanciação desses tipos, de acordo com definições sobrecarregadas existentes. a inferência de tipos nesse sistema envolve a resolução para o problema da satisfazibilidade de restrições, que trata de decidir se um dado conjunto de restrições de um tipo polimórfico é válido ou não, em um determinado contexto de tipos. Políticas para resolução de sobrecarga muito restritirvas têm sido adotadas para garantir a deibilidade deste problemas. O sistema CT adota uma política de resolução de sobrecarga muito menos restritiva que as presentes em sistemas de tipos similares. As principais contribuições desse trabalho são: uma definição formal do problema de satisfazibilidade de restrições independente das regras de derivação do sistema de tipos, apresentação de um algoritmo para a solução desse problema e a implementação de um protótipo que demonstra que a adoção de uma política de sobrecarga menos restritiva pode funcionar bem na prática. Nos testes realizados com a implementação desse algoritmo, usando código similar a programas implemtnados em Haskell, não foi encotnrada nenhuma situação em que a satisfazibilidade das restrições não pode ser decidida. Para estes casos é utilizado um limite de iteração para interromper o processo e rejeitar a expressão, indicando a ocorrência de um erro de tipo. |
publishDate |
2004 |
dc.date.issued.fl_str_mv |
2004-10-01 |
dc.date.accessioned.fl_str_mv |
2019-08-14T02:38:30Z |
dc.date.available.fl_str_mv |
2019-08-14T02:38:30Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1843/RVMR-65VJKR |
url |
http://hdl.handle.net/1843/RVMR-65VJKR |
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.publisher.none.fl_str_mv |
Universidade Federal de Minas Gerais |
dc.publisher.initials.fl_str_mv |
UFMG |
publisher.none.fl_str_mv |
Universidade Federal de Minas Gerais |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFMG instname:Universidade Federal de Minas Gerais (UFMG) instacron:UFMG |
instname_str |
Universidade Federal de Minas Gerais (UFMG) |
instacron_str |
UFMG |
institution |
UFMG |
reponame_str |
Repositório Institucional da UFMG |
collection |
Repositório Institucional da UFMG |
bitstream.url.fl_str_mv |
https://repositorio.ufmg.br/bitstream/1843/RVMR-65VJKR/1/cristiano_damiani.pdf https://repositorio.ufmg.br/bitstream/1843/RVMR-65VJKR/2/cristiano_damiani.pdf.txt |
bitstream.checksum.fl_str_mv |
247a80dded0d22c1f0ab24733c0802d5 a6a1b6e448e278daabb248bf53a57e65 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG) |
repository.mail.fl_str_mv |
|
_version_ |
1803589203193233408 |