Collaborated with:
Zheng Guo M.James Jiaxiao Zhou Ziteng Wang R.Jhala N.Polikarpova
Talks about:
synthesi (1) abstract (1) program (1) refin (1) type (1) guid (1)
Person: David Justo
DBLP: Justo:David
Contributed to:
Wrote 1 papers:
- POPL-2020-GuoJJZWJP #abstraction #refinement #synthesis
- Program synthesis by type-guided abstraction refinement (ZG, MJ, DJ, JZ, ZW, RJ, NP), p. 28.