咨询与建议

限定检索结果

文献类型

  • 51 篇 会议
  • 34 篇 期刊文献
  • 4 篇 学位论文

馆藏范围

  • 89 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 80 篇 工学
    • 57 篇 计算机科学与技术...
    • 50 篇 软件工程
    • 8 篇 电气工程
    • 7 篇 控制科学与工程
    • 3 篇 信息与通信工程
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 8 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 4 篇 理学
    • 2 篇 数学
    • 1 篇 生物学
    • 1 篇 科学技术史(分学科...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 89 篇 programming by e...
  • 37 篇 program synthesi...
  • 8 篇 programming by d...
  • 6 篇 data transformat...
  • 5 篇 end-user program...
  • 5 篇 machine learning
  • 4 篇 program transfor...
  • 4 篇 regular expressi...
  • 3 篇 languages
  • 3 篇 program repair
  • 3 篇 end-user develop...
  • 3 篇 regular expressi...
  • 3 篇 synthesis
  • 3 篇 domain specific ...
  • 3 篇 direct manipulat...
  • 3 篇 intelligent user...
  • 3 篇 data transformat...
  • 3 篇 user interface
  • 3 篇 agents
  • 2 篇 model-based user...

机构

  • 5 篇 univ texas austi...
  • 4 篇 univ michigan an...
  • 4 篇 univ penn philad...
  • 4 篇 rice univ housto...
  • 3 篇 microsoft res re...
  • 3 篇 microsoft redmon...
  • 2 篇 ecole polytech f...
  • 2 篇 mit media lab ca...
  • 2 篇 hanyang univ dep...
  • 2 篇 microsoft res re...
  • 2 篇 univ trieste dia...
  • 2 篇 waseda univ
  • 2 篇 peking univ key ...
  • 2 篇 univ trieste dia...
  • 2 篇 university of mi...
  • 2 篇 univ calif san d...
  • 2 篇 natl univ singap...
  • 2 篇 univ freiburg fr...
  • 2 篇 univ calif san d...
  • 2 篇 univ british col...

作者

  • 10 篇 gulwani sumit
  • 6 篇 dillig isil
  • 4 篇 medvet eric
  • 4 篇 radhakrishna arj...
  • 4 篇 de lorenzo andre...
  • 4 篇 bartoli alberto
  • 4 篇 le vu
  • 4 篇 soares gustavo
  • 4 篇 chaudhuri swarat
  • 4 篇 tarlao fabiano
  • 3 篇 singh rishabh
  • 3 篇 alur rajeev
  • 3 篇 leung alan
  • 3 篇 lee woosuk
  • 3 篇 jin zhongjun
  • 3 篇 macias jose a.
  • 3 篇 tiwari ashish
  • 2 篇 takasu atsuhiro
  • 2 篇 knoblock craig a...
  • 2 篇 lerner sorin

语言

  • 87 篇 英文
  • 2 篇 其他
检索条件"主题词=PROGRAMMING BY EXAMPLE"
89 条 记 录,以下是51-60 订阅
排序:
Synthesizing Transformations on Hierarchically Structured Data  16
Synthesizing Transformations on Hierarchically Structured Da...
收藏 引用
37th ACM SIGPLAN Conference on programming Language Design and Implementation
作者: Yaghmazadeh, Navid Klinger, Christian Dillig, Isil Chaudhuri, Swarat Univ Texas Austin Austin TX 78712 USA Univ Freiburg Freiburg Germany Rice Univ Houston TX 77251 USA
This paper presents a new approach for synthesizing transformations on tree-structured data, such as Unix directories and XML documents. We consider a general abstraction for such data, called hierarchical data trees ... 详细信息
来源: 评论
Synthesizing Transformations on Hierarchically Structured Data
收藏 引用
ACM SIGPLAN NOTICES 2016年 第6期51卷 508-521页
作者: Yaghmazadeh, Navid Klinger, Christian Dillig, Isil Chaudhuri, Swarat Univ Texas Austin Austin TX 78712 USA Univ Freiburg Freiburg Germany Rice Univ Houston TX 77251 USA
This paper presents a new approach for synthesizing transformations on tree-structured data, such as Unix directories and XML documents. We consider a general abstraction for such data, called hierarchical data trees ... 详细信息
来源: 评论
Learning Text Patterns Using Separate-and-Conquer Genetic programming  18
Learning Text Patterns Using Separate-and-Conquer Genetic Pr...
收藏 引用
18th European Conference on Genetic programming (EuroGP)
作者: Bartoli, Alberto De Lorenzo, Andrea Medvet, Eric Tarlao, Fabiano Univ Trieste DIA Trieste Italy
The problem of extracting knowledge from large volumes of unstructured textual information has become increasingly important. We consider the problem of extracting text slices that adhere to a syntactic pattern and pr... 详细信息
来源: 评论
Synthesizing Data Structure Transformations from Input-Output examples  15
Synthesizing Data Structure Transformations from Input-Outpu...
收藏 引用
36th ACM SIGPLAN Conference on programming Language Design and Implementation
作者: Feser, John K. Chaudhuri, Swarat Dillig, Isil Rice Univ Houston TX 77251 USA UT Austin Austin TX 78712 USA
We present a method for example-guided synthesis of functional programs over recursive data structures. Given a set of input-output examples, our method synthesizes a program in a functional language with higher-order... 详细信息
来源: 评论
JSKETCH: Sketching for Java  2015
JSKETCH: Sketching for Java
收藏 引用
10th Joint Meeting of the European Software Engineering Conference (ESEC) / ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)
作者: Jeon, Jinseong Qiu, Xiaokang Foster, Jeffrey S. Solar-Lezama, Armando Univ Maryland College Pk MD 20742 USA MIT Cambridge MA 02139 USA
Sketch-based synthesis, epitomized by the SKETCH tool, lets developers synthesize software starting from a partial program., also called a,sketch or template. This paper presents JSKETCH, a tool that brings sketcli-ba... 详细信息
来源: 评论
StriSynth: Synthesis for Live programming  37
StriSynth: Synthesis for Live Programming
收藏 引用
IEEE/ACM 2nd International Workshop on Software Architecture and Metrics (SAM)
作者: Gulwani, Sumit Mayer, Mikael Niksic, Filip Piskac, Ruzica Microsoft Res Redmond Redmond WA USA Ecole Polytech Fed Lausanne Lausanne Switzerland MPI SWS Kaiserslautern Germany Yale Univ New Haven CT 06520 USA
Motivated by applications in automating repetitive file manipulations, we present a tool called StriSynth, which allows end-users to perform transformations over data using examples. Based on provided examples, our to... 详细信息
来源: 评论
Interactive Parser Synthesis by example  15
Interactive Parser Synthesis by Example
收藏 引用
36th ACM SIGPLAN Conference on programming Language Design and Implementation
作者: Leung, Alan Sarracino, John Lerner, Sorin Univ Calif San Diego San Diego CA 92103 USA
Despite decades of research on parsing, the construction of parsers remains a painstaking, manual process prone to subtle bugs and pitfalls. We present a programming-by-example framework called Parsify that is able to... 详细信息
来源: 评论
Synthesizing Web Element Locators  15
Synthesizing Web Element Locators
收藏 引用
30th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)
作者: Bajaj, Kartik Pattabiraman, Karthik Mesbah, Ali Univ British Columbia Vancouver BC Canada
To programmatically interact with the user interface of a web application, element locators are used to select and retrieve elements from the Document Object Model (DOM). Element locators are used in JavaScript code, ... 详细信息
来源: 评论
Evolutionary Learning of Syntax Patterns for Genic Interaction Extraction  15
Evolutionary Learning of Syntax Patterns for Genic Interacti...
收藏 引用
17th Genetic and Evolutionary Computation Conference (GECCO)
作者: Bartoli, Alberto De Lorenzo, Andrea Medvet, Eric Tarlao, Fabiano Virgolin, Marco Univ Trieste DIA I-34127 Trieste Italy
There is an increasing interest in the development of techniques for automatic relation extraction from unstructured text. The biomedical domain, in particular, is a sector that may greatly benefit from those techniqu... 详细信息
来源: 评论
LED: Tool for Synthesizing Web Element Locators  15
LED: Tool for Synthesizing Web Element Locators
收藏 引用
30th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)
作者: Bajaj, Kartik Pattabiraman, Karthik Mesbah, Ali Univ British Columbia Vancouver BC Canada
Web applications are growing fast in popularity and complexity. One of the major problems faced by web developers is writing JavaScript code that can retrieve Document Object Model (DOM) tree elements, and is consiste... 详细信息
来源: 评论