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
More info on how stats are collected.
Indexed in
Publication date:
October 20, 2019
DOI:
10.5281/zenodo.3378067

Zenodo DOI Badge

DOI 

10.5281/zenodo.3378067

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3378067.svg)](https://doi.org/10.5281/zenodo.3378067)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3378067.svg
   :target: https://doi.org/10.5281/zenodo.3378067

HTML 

<a href="https://doi.org/10.5281/zenodo.3378067"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3378067.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3378067.svg

Target URL 

https://doi.org/10.5281/zenodo.3378067

License (for files):
MIT License

Versions

Version 1 10.5281/zenodo.3378067 Oct 20, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3378066. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export