...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Functional Programming >Editor Arrow: An arrow-based model for editor-based programming
【24h】

Editor Arrow: An arrow-based model for editor-based programming

机译：编辑器箭头：基于箭头的模型，用于基于编辑器的编程

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

State-based interactive applications, whether they run on the desktop or as a web application, can be considered as collections of interconnected editors of structured values that allow users to manipulate data. This is the view that is advocated by the CEC and iData toolkits, which offer a high level of abstraction to programming desktop and web GUI applications respectively. Special features of these toolkits are that editors have shared, persistent state, and that they handle events individually. In this paper we cast these toolkits within the Arrow framework and present Editor Arrow: a single, unified semantic model that defines shared state and event handling. We study the properties of Editor Arrow, and of editors in particular. Furthermore, we present the definedness properties of the combinators. A reference implementation of the Editor Arrow model is given with some small program examples. We discuss formal reasoning about the model using the proof assistant Sparkle. The availability of this tool has proved to be indispensable in this endeavor.
机译：无论是在桌面上还是作为Web应用程序运行，基于状态的交互式应用程序都可以被视为结构化值的互连编辑器的集合，这些编辑器允许用户操作数据。这是CEC和iData工具箱所倡导的观点，它们分别为编程桌面和Web GUI应用程序提供了高度的抽象。这些工具箱的特殊功能是编辑器具有共享的持久状态，并且它们可以分别处理事件。在本文中，我们将这些工具包转换为Arrow框架，并提供了Editor Arrow：一个定义共享状态和事件处理的统一语义模型。我们研究“编辑箭头”，尤其是编辑器的属性。此外，我们介绍了组合器的定义性。带有一些小程序示例，给出了Editor Arrow模型的参考实现。我们使用证明助手Sparkle讨论关于模型的形式推理。事实证明，此工具必不可少。

著录项

  • 来源
    《Journal of Functional Programming》 |2013年第2期|185-224|共40页
  • 作者

    PETER ACHTEN; MARKO VAN EEKELEN; MAARTEN DE MOL; RINUS PLASMEIJER;

  • 作者单位

    Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands;

    Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands School of Computer Science, Open University of The Netherlands, Heerlen, The Netherlands;

    Formal Methods and Tools, University of Twente, Enschede, The Netherlands;

    Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands;

  • 收录信息 美国《科学引文索引》(SCI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号