Please use this identifier to cite or link to this item: http://hdl.handle.net/10216/98311
Author(s): Eva Maia
Nelma Moreira
Rogério Reis
Title: Inferência de tipos em Python
Issue Date: 2010
Description: 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.
Subject: Ciência de computadores, Ciências da computação e da informação
Computer science, Computer and information sciences
URI: http://hdl.handle.net/10216/98311
Source: INFORUM 2010
Document Type: Artigo em Livro de Atas de Conferência Nacional
Rights: restrictedAccess
Appears in Collections:FCUP - Artigo em Livro de Atas de Conferência Nacional

Files in This Item:
File Description SizeFormat 
48396.pdfArtigo101.76 kBAdobe PDF    Request a copy


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