Published November 17, 2019
| Version 1.0.0
Software
Open
Hoogle Plus
Creators
- 1. University of California, San Diego
Description
Hoogle Plus is a program synthesis tool that implements Type-Guided Abstraction Refinement as outlined in the matching paper[1] and presented at the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020) in New Orleans.
Files
hoogle_plus.zip
Files
(5.4 MB)
Name | Size | Download all |
---|---|---|
md5:c1a75a2843ea9d06e3dfe08e9632ed57
|
5.4 MB | Preview Download |