Published October 20, 2019
| Version v1
Software
Open
Program Synthesis with Algebraic Library Specifications
Creators
- 1. University of Maryland, College Park
- 2. Purdue University
- 3. University of Nebraska, Lincoln
- 4. Tufts University
- 5. Massachusetts Institute of Technology
Description
JLibSketch tool for specifying Java library behavior via rewrite rules.
Files
75.zip
Files
(426.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:4c37bed1879dab355a0fcef88b9cd7a2
|
426.5 kB | Preview Download |