Mostrar el registro sencillo del ítem
Union and intersection types to support both dynamic and static typing
dc.contributor.author | Ortín Soler, Francisco | |
dc.contributor.author | García Rodríguez, Miguel | |
dc.date.accessioned | 2013-01-30T10:09:34Z | |
dc.date.available | 2013-01-30T10:09:34Z | |
dc.date.issued | 2011 | |
dc.identifier.citation | Information Processing Letters 111(6), p. 278-286 (2011); doi:doi:10.1016/j.ipl.2010.12.006 | en |
dc.identifier.issn | 0020-0190 | |
dc.identifier.uri | http://hdl.handle.net/10651/8732 | |
dc.description.abstract | Although static typing provides undeniable benefits for the development of applications, dynamically typed languages have become increasingly popular for specific scenarios. Since each approach offers different benefits, the StaDyn programming language has been designed to support both dynamic and static typing. This paper describes the minimal core of the StaDyn programming language. Its type system performs type reconstruction over both dynamic and static implicitly typed references. A new interpretation of union and intersection types allows statically gathering the type information of dynamic references, which improves runtime performance and robustness. The evaluation of the generated code has shown how our approach offers an important runtime performance benefit. | en |
dc.format.extent | p. 278-286 | spa |
dc.language.iso | eng | |
dc.publisher | Elsevier | |
dc.relation.ispartof | Information Processing Letters | spa |
dc.rights | © Elsevier, 2010 | |
dc.title | Union and intersection types to support both dynamic and static typing | en |
dc.type | journal article | |
dc.identifier.doi | doi:10.1016/j.ipl.2010.12.006 | |
dc.relation.publisherversion | http://dx.doi.org/10.1016/j.ipl.2010.12.006 | spa |
dc.rights.accessRights | open access | |
dc.type.hasVersion | SMUR |
Ficheros en el ítem
![untranslated untranslated](/dspace/themes/Mirage2/images/uniovi/openAccess.png)
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Artículos [35475]
-
Informática [766]