PURPOSE

-------

This data package is provided as supplementary material of the paper:

“A GPU Approach to Efficiently Reusing Constraint Proofs”, by M. Chen, G. Denaro and M. Pezzè, 

submitted for evaluation to IEEE Transactions on software engineering, Nov. 2019.

 

STRUCTURE

---------

The data package consists of 24 files:

- a file named _README.txt: this file

- a file named _programs.txt

- 22 files named <program_name>.sexpr

 

Dataset Files

You must be an IEEE Dataport Subscriber to access these files. Subscribe now or login.

Documentation: 
AttachmentSize
File _README.txt958 bytes
[1] Giovanni Denaro, "Parallel ReCal Supplementary material", IEEE Dataport, 2019. [Online]. Available: http://dx.doi.org/10.21227/hwxc-cf61. Accessed: Jun. 19, 2024.
@data{hwxc-cf61-19,
doi = {10.21227/hwxc-cf61},
url = {http://dx.doi.org/10.21227/hwxc-cf61},
author = {Giovanni Denaro },
publisher = {IEEE Dataport},
title = {Parallel ReCal Supplementary material},
year = {2019} }
TY - DATA
T1 - Parallel ReCal Supplementary material
AU - Giovanni Denaro
PY - 2019
PB - IEEE Dataport
UR - 10.21227/hwxc-cf61
ER -
Giovanni Denaro. (2019). Parallel ReCal Supplementary material. IEEE Dataport. http://dx.doi.org/10.21227/hwxc-cf61
Giovanni Denaro, 2019. Parallel ReCal Supplementary material. Available at: http://dx.doi.org/10.21227/hwxc-cf61.
Giovanni Denaro. (2019). "Parallel ReCal Supplementary material." Web.
1. Giovanni Denaro. Parallel ReCal Supplementary material [Internet]. IEEE Dataport; 2019. Available from : http://dx.doi.org/10.21227/hwxc-cf61
Giovanni Denaro. "Parallel ReCal Supplementary material." doi: 10.21227/hwxc-cf61