Symbolic program analysis

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