Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Inferência de tipos em Python

Inferência de tipos em Python

Título
Inferência de tipos em Python
Tipo
Artigo em Livro de Atas de Conferência Nacional
Ano
2010
Autores
Eva Maia
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Sem AUTHENTICUS Sem ORCID
Nelma Moreira
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Rogério Reis
(Autor)
FCUP
Ata de Conferência Nacional
Páginas: 515-518
II Simpósio de Informática
Braga, Portugal, 9 e 10 de Setembro de 2010
Classificação Científica
FOS: Ciências exactas e naturais > Ciências da computação e da informação
CORDIS: Ciências Físicas > Ciência de computadores
Outras Informações
Resumo (PT): As linguagens dinamicamente tipificadas, como a linguagem Python, permitem ao programador uma maior flexibilidade, no entanto privam-no das vantagens da tipificação estática, como a detecção precoce de erros. Este artigo tem como objectivo descrever um sistema estático de tipos para um subconjunto do Python (RPython). Acreditamos que a definição de um este sistema de inferência de tipos, como este, é um passo importante para a construção de um sistema de verificação formal de programas Python.
Idioma: Português
Tipo (Avaliação Docente): Científica
Contacto: nrmorei@fc.up.pt
Notas: Editors Luís S. Barbosa and Miguel P. Correia. - Also at http://inforum.org.pt/INForum2010/papers/especificacao-verificacao-e-teste-sistemas-criticos/Paper040.pdf.
Documentos
Não foi encontrado nenhum documento associado à publicação com acesso permitido.
Publicações Relacionadas

Das mesmas áreas científicas

On Applying Linear Tabling to Logic Programs (2010)
Tese
MIGUEL AREIAS; Ricardo Rocha
APRIORI Algorithm for Label Ranking (2010)
Tese
Cláudio Sá; Carlos Soares; Joaquim Costa
On the average size of pd automata: an analytic combinatorics approach (2010)
Relatório Técnico
Sabine Broda; António Machiavelo; Nelma Moreira; Rogério Reis
On Covering Path Orthogonal Polygons (preliminary version) (2016)
Relatório Técnico
Ana Paula Tomás; Catarina Lobo Ferreira

Ver todas (134)

Recomendar Página Voltar ao Topo
Copyright 1996-2021 © Reitoria da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2021-04-11 às 06:19:23 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais