Live Programming By Example
Live Programming By Example
复制标题
现场编程示例
DOI：
10.1145/3290607.3313266
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Piskac, Ruzica
中科院分区：
文献类型：
--
作者：
Santolucito, Mark;Hallahan, William T.;Piskac, Ruzica
实时编程是编程实践的一种新颖方法。程序员在编写代码时会得到实时反馈，传统上是通过图形用户界面。尽管实时编程具有实用价值，例如提供更容易的代码概述和更好地理解其结构，但它尚未被广泛使用。在这项工作中，我们将实时编程扩展到通用代码编辑器，这允许程序员使用实时编程，并为理解和更改代码功能提供了新的接口。为了实现这一点，我们扩展了一个功能齐全的IDE，能够在程序员编写代码时显示代码执行的输入/输出示例。此外，我们通过允许用户更改显示的输出，并自动更新代码，将示例编程（PBE）合成集成到我们的工具中。我们的目标是使用实时编程为新手程序员提供一种新的方式来交互和理解编程，以及成为更高级程序员的有用开发工具。
Live programming is a novel approach for programming practice. Programmers are given real-time feedback when writing code, traditionally via a graphical user interface. Despite live programming's practical values, such as providing an easier overview of code and better understanding of its structure, it is not yet widely used. In this work, we extend live programming to general purpose code editors, which allows for live programming to be used by programmers, and provides new interfaces for understanding and changing the functionality of code. To achieve this we extended a fully-featured IDE with the ability to show input/output examples of code execution, as the programmer is writing code. Furthermore, we integrate programming by example (PBE) synthesis into our tool by allowing the user to change the shown output, and have the code update automatically. Our goal is to use live programming to give novice programmers a new way to interact and understand programming, as well as being a useful development tool for more advanced programmers.
登录
查看更多内容
SMT 求解器核心的 SyGuS 技术
DOI：
--
发表时间：
2017
期刊：
SYNT@CAV
影响因子：
--
作者：
Andrew Reynolds;C. Tinelli
通讯作者：
C. Tinelli
DOI：
--
发表时间：
2012
期刊：
2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
影响因子：
--
作者：
Sumit Gulwani
通讯作者：
Sumit Gulwani
EAGER：通过示例对重复任务进行编程
DOI：
10.1145/108844.108850
发表时间：
1991
期刊：
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
影响因子：
--
作者：
A. Cypher
通讯作者：
A. Cypher
通过实时编码与生成音乐互动
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
Andrew R. Brown;Andrew Sorensen
通讯作者：
Andrew Sorensen
影响因子：
--
作者：
Mayer, Mikaël;Kuncak, Viktor;Chugh, Ravi
通讯作者：
Chugh, Ravi