Software Open Access

Program Synthesis with Algebraic Library Specifications

Mariano, Benjamin; Reese, Josh; Xu, Siyuan; Nguyen, ThanhVu; Qiu, Xiaokang; Foster, Jeffrey S.; Armando Solar-Lezama

JLibSketch tool for specifying Java library behavior via rewrite rules.

Files (426.5 kB)
Name Size
75.zip
md5:4c37bed1879dab355a0fcef88b9cd7a2
426.5 kB Download
11
4
views
downloads
All versions This version
Views 1111
Downloads 44
Data volume 1.7 MB1.7 MB
Unique views 1111
Unique downloads 22

Share

Cite as