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
64
10
views
downloads
All versions This version
Views 6462
Downloads 1010
Data volume 4.3 MB4.3 MB
Unique views 6059
Unique downloads 88

Share

Cite as