Software Open Access

TyGuS/suslik: POPL 2019 Artifact

Ilya Sergey; Nadia Polikarpova

Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs.

Files (227.4 kB)
Name Size
TyGuS/suslik-v0.2-popl19.zip
md5:64ded7c432e84dd639734bfba9fdd73e
227.4 kB Download
27
6
views
downloads
All versions This version
Views 2727
Downloads 66
Data volume 1.4 MB1.4 MB
Unique views 1313
Unique downloads 33

Share

Cite as