Published October 5, 2022
| Version 1
Software
Open
Artifact for "Top-Down Synthesis For Library Learning"
Authors/Creators
- 1. MIT
- 2. Theo X.
- 3. Catherine
- 4. Gabriel
- 5. Joshua B.
- 6. Kevin
- 7. Armando
Description
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POPL 2023 Submission #278).
Details and instructions at given in the README.md file of this upload or at https://github.com/mlb2251/stitch-artifact/blob/main/README.md
Files
Files
(742 Bytes)
| Name | Size | Download all |
|---|---|---|
|
md5:4f49a4667ea509e87985824dfa9cbd2c
|
371 Bytes | Download |
|
md5:4f49a4667ea509e87985824dfa9cbd2c
|
371 Bytes | Download |