TY  - RPRT
TI  - Synthesizing Imperative Programs from Examples Guided by Static Analysis
AU  - Sunbeom So
AU  - Hakjoo Oh
PY  - 2017
UR  - https://arxiv.org/abs/1702.06334
ID  - 1702.06334
ER  -