Mostrar el registro sencillo del ítem
Rule-based program specialization to optimize gradually typed code
dc.contributor.author | Ortín Soler, Francisco | |
dc.contributor.author | García Rodríguez, Miguel | |
dc.contributor.author | McSweeney, Sean | |
dc.date.accessioned | 2019-12-10T08:19:09Z | |
dc.date.available | 2019-12-10T08:19:09Z | |
dc.date.issued | 2019-09-01 | |
dc.identifier.citation | Knowledge-Based Systems, 179(1), p. 145-173 (2019); doi:10.1016/j.knosys.2019.05.013 | |
dc.identifier.issn | 0950-7051 | |
dc.identifier.uri | http://hdl.handle.net/10651/53505 | |
dc.description.abstract | Both static and dynamic typing provide different benefits to the programmer. Statically typed languages support earlier type error detection and more opportunities for compiler optimizations. Dynamically typed languages facilitate the development of runtime adaptable applications and rapid prototyping. Since both approaches provide benefits, gradually typed languages support both typing approaches in the very same programming language. Gradual typing has been an active research field in the last years, turning out to be a strong influence on commercial languages. However, one important drawback of gradual typing is the runtime performance cost of the additional type checks performed at runtime. In this article, we propose a rule-based program specialization mechanism to provide significant performance optimizations of gradually typed code. Our system gathers dynamic type information of the application by simulating its execution. That type information is used to optimize the generated code, reducing the number of type checks performed at runtime. Moreover, program specialization allows the early detection of compile-time type errors, providing static type safety. To ensure the correctness of the proposed approach, we prove its soundness and efficiency properties. The specialization system has been implemented as part of a full-fledged programming language, measuring the runtime performance gain. The generated code performs significantly better than the state-of-the-art techniques to optimize dynamically typed code. Unlike the existing approaches, our system does not consume additional memory resources at runtime, because program specialization is performed statically. Program specialization involves an average compilation time increase from 2% to 11.75%. | spa |
dc.description.sponsorship | This work has been partially funded by the Spanish Department of Science, Innovation and Universities: project RTI2018-099235-B-I00. The authors have also received funds from the Banco Santander through its support to the Campus of International Excellence. | spa |
dc.format.extent | p. 145-173 | spa |
dc.language.iso | eng | spa |
dc.relation.ispartof | Knowledge-Based Systems, 179 | spa |
dc.rights | © 2019 Elsevier B.V. | |
dc.rights | CC Reconocimiento – No Comercial – Sin Obra Derivada 4.0 Internacional | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
dc.subject | Gradual typing | spa |
dc.subject | program specialization | spa |
dc.subject | rule-based systems | spa |
dc.subject | type safety | spa |
dc.subject | runtime performance | spa |
dc.title | Rule-based program specialization to optimize gradually typed code | spa |
dc.type | journal article | spa |
dc.identifier.doi | 10.1016/j.knosys.2019.05.013 | |
dc.relation.projectID | RTI2018-099235-B-I00 | spa |
dc.relation.publisherversion | https://doi.org/10.1016/j.knosys.2019.05.013 | |
dc.rights.accessRights | open access | spa |
dc.rights.accessRights | open access | |
dc.relation.ispartofURI | https://hdl.handle.net/10651/70831 | |
dc.type.hasVersion | AM |
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]
-
Investigaciones y Documentos OpenAIRE [7745]
Publicaciones resultado de proyectos financiados con fondos públicos