Skip to content

POPL 2019 Artifact
Compare
Choose a tag to compare
@ilyasergey ilyasergey released this 10 Nov 15:58
· 801 commits to master since this release
v0.2-popl19
dcfc187

Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs.

Assets 2