喵ID:9oxaGl免责声明

Program sketching with live bidirectional evaluation

通过实时双向评估进行程序草图绘制

基本信息

DOI:
10.1145/3408991
发表时间:
2020
影响因子:
--
通讯作者:
Chugh, Ravi
中科院分区:
文献类型:
--
作者: Lubin, Justin;Collins, Nick;Omar, Cyrus;Chugh, Ravi研究方向: -- MeSH主题词: --
关键词: --
来源链接:pubmed详情页地址

文献摘要

参考文献(58)
被引文献(33)
Synthesis of Recursive ADT Transformations from Reusable Templates
DOI:
10.1007/978-3-662-54577-5_14
发表时间:
2017-01-01
期刊:
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I
影响因子:
0
作者:
Inala, Jeevana Priya;Polikarpova, Nadia;Solar-Lezama, Armando
通讯作者:
Solar-Lezama, Armando
Inductive Program Synthesis from Input-Output Examples
从输入输出示例归纳程序综合
DOI:
发表时间:
2016
期刊:
影响因子:
0
作者:
John K. Feser
通讯作者:
John K. Feser
Gradual Typing for Objects
DOI:
10.1007/978-3-540-73589-2_2
发表时间:
2007-07
期刊:
影响因子:
0
作者:
Jeremy G. Siek;Walid Taha
通讯作者:
Jeremy G. Siek;Walid Taha
Program synthesis by type-guided abstraction refinement
通过类型引导的抽象细化进行程序合成
DOI:
10.1145/3371080
发表时间:
2020
期刊:
Proceedings of the ACM on Programming Languages
影响因子:
0
作者:
Guo, Zheng;James, Michael;Justo, David;Zhou, Jiaxiao;Wang, Ziteng;Jhala, Ranjit;Polikarpova, Nadia
通讯作者:
Polikarpova, Nadia
StriSynth: Synthesis for Live Programming
StriSynth:现场编程的综合
DOI:
10.1109/icse.2015.227
发表时间:
2015
期刊:
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
影响因子:
0
作者:
Sumit Gulwani;M. Mayer;Filip Niksic;R. Piskac
通讯作者:
R. Piskac

数据更新时间:{{ references.updateTime }}

Chugh, Ravi
通讯地址:
--
所属机构:
--
电子邮件地址:
--
免责声明免责声明
1、猫眼课题宝专注于为科研工作者提供省时、高效的文献资源检索和预览服务;
2、网站中的文献信息均来自公开、合规、透明的互联网文献查询网站,可以通过页面中的“来源链接”跳转数据网站。
3、在猫眼课题宝点击“求助全文”按钮,发布文献应助需求时求助者需要支付50喵币作为应助成功后的答谢给应助者,发送到用助者账户中。若文献求助失败支付的50喵币将退还至求助者账户中。所支付的喵币仅作为答谢,而不是作为文献的“购买”费用,平台也不从中收取任何费用,
4、特别提醒用户通过求助获得的文献原文仅用户个人学习使用,不得用于商业用途,否则一切风险由用户本人承担;
5、本平台尊重知识产权,如果权利所有者认为平台内容侵犯了其合法权益,可以通过本平台提供的版权投诉渠道提出投诉。一经核实,我们将立即采取措施删除/下架/断链等措施。
我已知晓