Published June 16, 2023
| Version v4
Software
Open
Explainable Program Synthesis by Localizing Specifications
Creators
- 1. University of Southern California
- 2. Purdue University
- 3. Microsoft
Description
This is the artifact package associated with our submitted paper on subspecifications.
Usage instructions are included.
Files
Files
(87.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:88130e2d8174550896d7da5ece36a42f
|
87.7 MB | Download |