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
160
8
views
downloads
All versions This version
Views 160161
Downloads 88
Data volume 1.8 MB1.8 MB
Unique views 131132
Unique downloads 55

Share

Cite as