Software Open Access
Ilya Sergey; Nadia Polikarpova; Amy Zhu; rashchedrin; andrecostea
Artifact accompanying the ESOP 2020 paper Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.
Name | Size | |
---|---|---|
TyGuS/robosuslik-1.0.zip
md5:14d4aa14abbfbf91ae949d88dfad3f21 |
396.7 kB | Download |
All versions | This version | |
---|---|---|
Views | 105 | 104 |
Downloads | 7 | 7 |
Data volume | 2.8 MB | 2.8 MB |
Unique views | 88 | 87 |
Unique downloads | 7 | 7 |