Published November 17, 2019 | Version 1.0.0
Software Open

Hoogle Plus

Authors/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.

 

[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