2018Data Documentation for "Rule-based program specialization to optimize gradually typed code"    
 
General Information: This data contains all the benchmarks, examples and the evaluation results from the research 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"

Name of dataset: 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"

Name of data files in the data set:
benchmarks.zip
csvs.zip

Dataset language: English

Date the data set was last modified: 18 June 2018

Funder: 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 Excellence.

How to cite data: 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"

Methodology for data collection: Detailed in "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"

Data collector(s): Francisco Ortin Soler, ortin@uniovi.es

Date of data collection: 18 June 2018

Person to contact with questions: Francisco Ortin Soler, ortin@uniovi.es, https://reflection.uniovi.es

Data entry: 15 janauary 2024

Software (including version #) used to prepare data set: Detailed in "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"

Data processing that was performed: Detailed in "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"

Variables: Detailed in "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"

File Overview:
benchmarks.zip: all the benchmarks and examples used in the article
csvs.zip: Evaluation results obatained in the article