Programming by Example: Efficient, but Not "Helpful"
Programming by Example: Efficient, but Not "Helpful"
复制标题
实例编程:高效,但不“有帮助”
DOI:
--
复制
发表时间:
2018
期刊:
影响因子:
--
通讯作者:
Piskac, Ruzica
中科院分区:
文献类型:
--
作者:
Santolucito, Mark;Goldman, Drew;Weseley, Allyson;Piskac, Ruzica
登录
查看更多内容
DOI:
--
发表时间:
2012
期刊:
2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
影响因子:
--
作者:
Sumit Gulwani
通讯作者:
Sumit Gulwani
影响因子:
14.3
作者:
Michael Orlov;M. Sipper
通讯作者:
M. Sipper
DOI:
--
发表时间:
2001
期刊:
USENIX Annual Technical Conference, General Track
影响因子:
--
作者:
Robert C. Miller;B. Myers
通讯作者:
B. Myers
DOI:
10.1109/icse.2015.227
发表时间:
2015
期刊:
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
影响因子:
--
作者:
Sumit Gulwani;M. Mayer;Filip Niksic;R. Piskac
通讯作者:
R. Piskac
影响因子:
22.7
作者:
Viktor Kunčak;M. Mayer;R. Piskac;Philippe Suter
通讯作者:
Philippe Suter