Inferência de tipos em Python

Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/98311

Full metadata record

DC Field	Value	Language
dc.creator	Eva Maia
dc.creator	Nelma Moreira
dc.creator	Rogério Reis
dc.date.accessioned	2022-09-10T03:03:06Z	-
dc.date.available	2022-09-10T03:03:06Z	-
dc.date.issued	2010
dc.identifier.other	sigarra:48396
dc.identifier.uri	https://hdl.handle.net/10216/98311	-
dc.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.
dc.language.iso	por
dc.relation.ispartof	INFORUM 2010
dc.rights	restrictedAccess
dc.subject	Ciência de computadores, Ciências da computação e da informação
dc.subject	Computer science, Computer and information sciences
dc.title	Inferência de tipos em Python
dc.type	Artigo em Livro de Atas de Conferência Nacional
dc.contributor.uporto	Faculdade de Ciências
dc.subject.fos	Ciências exactas e naturais::Ciências da computação e da informação
dc.subject.fos	Natural sciences::Computer and information sciences
Appears in Collections:	FCUP - Artigo em Livro de Atas de Conferência Nacional

Files in This Item:

File	Description	Size	Format
48396.pdf Restricted Access	Artigo	101.76 kB	Adobe PDF	View/Open