Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published November 17, 2019 | Version 1.0.0
Software Open

Hoogle Plus

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.

 

[1] https://arxiv.org/abs/1911.04091

Files

hoogle_plus.zip

Files (5.4 MB)

Name Size Download all
md5:c1a75a2843ea9d06e3dfe08e9632ed57
5.4 MB Preview Download