Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/98311
Full metadata record
DC FieldValueLanguage
dc.creatorEva Maia
dc.creatorNelma Moreira
dc.creatorRogério Reis
dc.date.accessioned2019-02-06T23:12:03Z-
dc.date.available2019-02-06T23:12:03Z-
dc.date.issued2010
dc.identifier.othersigarra:48396
dc.identifier.urihttps://repositorio-aberto.up.pt/handle/10216/98311-
dc.descriptionAs 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.
dc.language.isopor
dc.relation.ispartofINFORUM 2010
dc.rightsrestrictedAccess
dc.subjectCiência de computadores, Ciências da computação e da informação
dc.subjectComputer science, Computer and information sciences
dc.titleInferência de tipos em Python
dc.typeArtigo em Livro de Atas de Conferência Nacional
dc.contributor.uportoFaculdade de Ciências
dc.subject.fosCiências exactas e naturais::Ciências da computação e da informação
dc.subject.fosNatural sciences::Computer and information sciences
Appears in Collections:FCUP - Artigo em Livro de Atas de Conferência Nacional

Files in This Item:
File Description SizeFormat 
48396.pdf
  Restricted Access
Artigo101.76 kBAdobe PDF    Request a copy from the Author(s)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.