Published November 10, 2018
| Version v0.2-popl19
Software
Open
TyGuS/suslik: POPL 2019 Artifact
Description
Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs.
Files
TyGuS/suslik-v0.2-popl19.zip
Files
(227.4 kB)
Name | Size | Download all |
---|---|---|
md5:64ded7c432e84dd639734bfba9fdd73e
|
227.4 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/TyGuS/suslik/tree/v0.2-popl19 (URL)