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
96
13
views
downloads
All versions This version
Views 9694
Downloads 1313
Data volume 5.5 MB5.5 MB
Unique views 9291
Unique downloads 1111

Share

Cite as