TY  - RPRT
TI  - Resource-Guided Program Synthesis
AU  - Tristan Knoth
AU  - Di Wang
AU  - Nadia Polikarpova
AU  - Jan Hoffmann
PY  - 2019
UR  - https://arxiv.org/abs/1904.07415
ID  - 1904.07415
ER  -