咨询与建议

限定检索结果

文献类型

  • 10 篇 会议
  • 9 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 18 篇 工学
    • 16 篇 软件工程
    • 10 篇 计算机科学与技术...
    • 1 篇 电气工程
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 20 篇 bidirectional pr...
  • 5 篇 program synthesi...
  • 3 篇 type systems
  • 3 篇 type-directed sy...
  • 2 篇 lens
  • 2 篇 languages
  • 2 篇 xml
  • 2 篇 direct manipulat...
  • 2 篇 haskell
  • 2 篇 lenses
  • 2 篇 functional progr...
  • 2 篇 synchronization
  • 1 篇 sketch-n-sketch
  • 1 篇 cad software
  • 1 篇 use case
  • 1 篇 fabrication
  • 1 篇 prodirect manipu...
  • 1 篇 property-based t...
  • 1 篇 harmony
  • 1 篇 self-adaptation

机构

  • 6 篇 univ penn philad...
  • 4 篇 natl inst inform...
  • 3 篇 princeton univ p...
  • 2 篇 peking univ peop...
  • 2 篇 tufts univ medfo...
  • 1 篇 univ chicago dep...
  • 1 篇 department of co...
  • 1 篇 univ lille cnrs ...
  • 1 篇 department of in...
  • 1 篇 ecole polytech f...
  • 1 篇 princeton univer...
  • 1 篇 tohoku univ send...
  • 1 篇 university of pe...
  • 1 篇 information syst...
  • 1 篇 longyan univ lon...
  • 1 篇 christian albret...
  • 1 篇 imperial coll lo...
  • 1 篇 univ munich d-80...
  • 1 篇 cornell univ ith...
  • 1 篇 univ namur namur

作者

  • 6 篇 hu zhenjiang
  • 5 篇 pierce benjamin ...
  • 4 篇 miltner anders
  • 3 篇 wang meng
  • 3 篇 fisher kathleen
  • 3 篇 zdancewic steve
  • 3 篇 pacheco hugo
  • 3 篇 walker david
  • 2 篇 maina solomon
  • 2 篇 zan tao
  • 2 篇 fischer sebastia...
  • 2 篇 chugh ravi
  • 1 篇 kieken danny
  • 1 篇 grohne helmut
  • 1 篇 pierce benjamin
  • 1 篇 pietrzak thomas
  • 1 篇 schobbens pierre...
  • 1 篇 gonzalez j. feli...
  • 1 篇 mayer mikael
  • 1 篇 wagner daniel

语言

  • 20 篇 英文
检索条件"主题词=Bidirectional Programming"
20 条 记 录,以下是11-20 订阅
排序:
Synthesizing Symmetric Lenses
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2019年 第ICFP期3卷 1-28页
作者: Miltner, Anders Maina, Solomon Fisher, Kathleen Pierce, Benjamin C. Walker, David Zdancewic, Steve Princeton Univ Princeton NJ 08544 USA Univ Penn Philadelphia PA 19104 USA Tufts Univ Medford MA 02155 USA
Lenses are programs that can be run both "front to back" and "back to front:' allowing updates to either their source or their target data to be transferred in both directions. Since their introduct... 详细信息
来源: 评论
Fusing Direct Manipulations into Functional Programs
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2024年 第POPL期8卷 1211-1238页
作者: Zhang, Xing Xie, Ruifeng Guo, Guanchen He, Xiao Zan, Tao Hu, Zhenjiang Peking Univ Beijing Peoples R China Univ Sci & Technol Beijing Beijing Peoples R China Longyan Univ Longyan Fujian Peoples R China
bidirectional live programming systems (BLP) enable developers to modify a program by directly manipulating the program output, so that the updated program can produce the manipulated output. One state-of-the-art appr... 详细信息
来源: 评论
Synthesizing Quotient Lenses
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2018年 第ICFP期2卷 1–29页
作者: Maina, Solomon Miltner, Anders Fisher, Kathleen Pierce, Benjamin C. Walker, David Zdancewic, Steve Univ Penn Philadelphia PA 19104 USA Princeton Univ Princeton NJ 08544 USA Tufts Univ Medford MA 02155 USA
Quotient lenses are bidirectional transformations whose correctness laws are loosened" by specified equivalence relations, allowing inessential details in concrete data formats to be suppressed. For example, a pr... 详细信息
来源: 评论
bidirectional Evaluation with Direct Manipulation
收藏 引用
PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2018年 第OOPSLA期2卷 1–28页
作者: Mayer, Mikael Kuncak, Viktor Chugh, Ravi Univ Chicago Chicago IL 60637 USA Ecole Polytech Fed Lausanne Lausanne Switzerland
We present an evaluation update (or simply, update) algorithm for a full-featured functional programming language, which synthesizes program changes based on output changes. Intuitively, the update algorithm retraces ... 详细信息
来源: 评论
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2007年 第3期29卷 3.1-3.65页
作者: Foster, J. Nathan Greenwald, Michael B. Moore, Jonathan T. Pierce, Benjamin C. Schmitt, Alan Univ Penn Philadelphia PA 19104 USA
We propose a novel approach to the view-update problem for tree-structured data: a domain-specific programming language in which all expressions denote bidirectional transformations on trees. In one direction, these t... 详细信息
来源: 评论
Edit Lenses  12
Edit Lenses
收藏 引用
39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of programming Languages
作者: Hofmann, Martin Pierce, Benjamin Wagner, Daniel Univ Munich D-80539 Munich Germany Univ Penn Philadelphia PA 19104 USA
A lens is a bidirectional transformation between a pair of connected data structures, capable of translating an edit on one structure into an appropriate edit on the other. Many varieties of lenses have been studied, ... 详细信息
来源: 评论
Incremental Updates for Efficient bidirectional Transformations  11
Incremental Updates for Efficient Bidirectional Transformati...
收藏 引用
16th ACM SIGPLAN International Conference on Functional programming (ICFP 11)
作者: Wang, Meng Gibbons, Jeremy Wu, Nicolas Chalmers Univ Technol S-41296 Gothenburg Sweden
A bidirectional transformation is a pair of mappings between source and view data objects, one in each direction. When the view is modified, the source is updated accordingly. The key to handling large data objects th... 详细信息
来源: 评论
BiFluX: A bidirectional Functional Update Language for XML  14
BiFluX: A Bidirectional Functional Update Language for XML
收藏 引用
16th International Symposium on Principles and Practice of Declarative programming (PPDP)
作者: Pacheco, Hugo Zan, Tao Hu, Zhenjiang Cornell Univ Ithaca NY 14853 USA Grad Univ Adv Studies Hayama Kanagawa Japan Natl Inst Informat Tokyo Japan
Different XML formats are widely used for data exchange and processing, being often necessary to mutually convert between them. Standard XML transformation languages, like XSLT or XQuery, are unsatisfactory for this p... 详细信息
来源: 评论
Synthesizing Lenses
Synthesizing Lenses
收藏 引用
作者: Miltner, Anders Princeton University
学位级别:博士
Lenses are bidirectional functions that satisfy a set of "round-tripping laws." Lenses arise in a number of domains, and can implement serializer/deserializer pairs, parser/pretty printer pairs, and increme... 详细信息
来源: 评论
Linguistic foundations for bidirectional transformations: invited tutorial  12
Linguistic foundations for bidirectional transformations: in...
收藏 引用
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on Principles of Database Systems
作者: Benjamin C. Pierce University of Pennsylvania Philadelphia PA USA
Computing is full of situations where two different structures must be "connected" in such a way that updates to each can be propagated to the other. This is a generalization of the classical view update pro... 详细信息
来源: 评论