Published January 29, 2020
| Version 1.0
Software
Open
TyGuS/robosuslik: ESOP 2020 Artifact
- 1. Yale-NUS College and NUS SoC
- 2. UC San Diego
Description
Artifact accompanying the ESOP 2020 paper Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.
Files
TyGuS/robosuslik-1.0.zip
Files
(396.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:14d4aa14abbfbf91ae949d88dfad3f21
|
396.7 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/TyGuS/robosuslik/tree/1.0 (URL)