Data from "Rule-based program specialization to optimize gradually typed code"

Data from the article "F. Ortin, M. Garcia, S. McSweeney. Rule-based program specialization to optimize gradually typed code. Knowledge-Based Systems (179), pp. 145-173, 2019. https://doi.org/10.1016/j.knosys.2019.05.013"

Detalles Bibliográficos
Autores: Ortín Soler, Francisco|||0000-0003-1199-8649, García Rodríguez, Miguel|||0000-0002-3150-2826, McSweeney, Seán
Tipo de recurso: conjunto de datos
Fecha de publicación:2018
País:España
Institución:Universidad de Oviedo (UNIOVI)
Repositorio:RUO. Repositorio Institucional de la Universidad de Oviedo
Idioma:inglés
OAI Identifier:oai:digibuo.uniovi.es:10651/70831
Acceso en línea:https://hdl.handle.net/10651/70831
https://dx.doi.org/10.17811/ruo_datasets.70831
Access Level:acceso abierto
Palabra clave:Gradual typing
Program specialization
Rule-based systems
Type safety
Runtime performance
id ES_39ea87b650f7d8e7f7c10ffb68be7698
oai_identifier_str oai:digibuo.uniovi.es:10651/70831
network_acronym_str ES
network_name_str España
repository_id_str
spelling Data from "Rule-based program specialization to optimize gradually typed code"Ortín Soler, Francisco|||0000-0003-1199-8649García Rodríguez, Miguel|||0000-0002-3150-2826McSweeney, SeánGradual typingProgram specializationRule-based systemsType safetyRuntime performanceData from the article "F. Ortin, M. Garcia, S. McSweeney. Rule-based program specialization to optimize gradually typed code. Knowledge-Based Systems (179), pp. 145-173, 2019. https://doi.org/10.1016/j.knosys.2019.05.013"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-theart 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%.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, Spain through its support of the Campus of International Excellence20182018-06-18datasethttp://purl.org/coar/resource_type/c_ddb1NAhttp://purl.org/coar/version/c_be7fb7dd8ff6fe43info:eu-repo/semantics/datasethttps://hdl.handle.net/10651/70831https://dx.doi.org/10.17811/ruo_datasets.70831reponame:RUO. Repositorio Institucional de la Universidad de Oviedoinstname:Universidad de Oviedo (UNIOVI)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:digibuo.uniovi.es:10651/708312026-06-07T06:38:51Z
dc.title.none.fl_str_mv Data from "Rule-based program specialization to optimize gradually typed code"
title Data from "Rule-based program specialization to optimize gradually typed code"
spellingShingle Data from "Rule-based program specialization to optimize gradually typed code"
Ortín Soler, Francisco|||0000-0003-1199-8649
Gradual typing
Program specialization
Rule-based systems
Type safety
Runtime performance
title_short Data from "Rule-based program specialization to optimize gradually typed code"
title_full Data from "Rule-based program specialization to optimize gradually typed code"
title_fullStr Data from "Rule-based program specialization to optimize gradually typed code"
title_full_unstemmed Data from "Rule-based program specialization to optimize gradually typed code"
title_sort Data from "Rule-based program specialization to optimize gradually typed code"
dc.creator.none.fl_str_mv Ortín Soler, Francisco|||0000-0003-1199-8649
García Rodríguez, Miguel|||0000-0002-3150-2826
McSweeney, Seán
author Ortín Soler, Francisco|||0000-0003-1199-8649
author_facet Ortín Soler, Francisco|||0000-0003-1199-8649
García Rodríguez, Miguel|||0000-0002-3150-2826
McSweeney, Seán
author_role author
author2 García Rodríguez, Miguel|||0000-0002-3150-2826
McSweeney, Seán
author2_role author
author
dc.subject.none.fl_str_mv Gradual typing
Program specialization
Rule-based systems
Type safety
Runtime performance
topic Gradual typing
Program specialization
Rule-based systems
Type safety
Runtime performance
description Data from the article "F. Ortin, M. Garcia, S. McSweeney. Rule-based program specialization to optimize gradually typed code. Knowledge-Based Systems (179), pp. 145-173, 2019. https://doi.org/10.1016/j.knosys.2019.05.013"
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-06-18
dc.type.none.fl_str_mv dataset
http://purl.org/coar/resource_type/c_ddb1
NA
http://purl.org/coar/version/c_be7fb7dd8ff6fe43
dc.type.openaire.fl_str_mv info:eu-repo/semantics/dataset
format dataset
dc.identifier.none.fl_str_mv https://hdl.handle.net/10651/70831
https://dx.doi.org/10.17811/ruo_datasets.70831
url https://hdl.handle.net/10651/70831
https://dx.doi.org/10.17811/ruo_datasets.70831
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:RUO. Repositorio Institucional de la Universidad de Oviedo
instname:Universidad de Oviedo (UNIOVI)
instname_str Universidad de Oviedo (UNIOVI)
reponame_str RUO. Repositorio Institucional de la Universidad de Oviedo
collection RUO. Repositorio Institucional de la Universidad de Oviedo
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869406201126584320
score 15,812429

Similares en LA Referencia