编辑箭头

EditorArrow:基于箭头的基于编辑器的编程模型。基于状态的交互式应用程序,无论它们是在桌面上运行还是作为Web应用程序,都可以被看作是允许用户操纵数据的结构化值的互连编辑器的集合。这是GEC和IDATA工具包所提倡的观点,它们提供了高层次的抽象来分别编程桌面和Web GUI应用程序。这些工具包的特殊特性是编辑器具有共享的、持久的状态,并且它们单独处理事件。在本文中,我们将这些工具包放在箭头框架内,并呈现EdjRooRo:一个定义共享状态和事件处理的统一的语义模型。我们研究编辑器的特性,特别是编辑器。此外,我们给出了组合子的定义性质。给出了EdjRoalGAR模型的参考实现,并给出了一些小程序实例。我们讨论的形式推理的模型辅助证明火花。这个工具的可用性在这一努力中被证明是不可缺少的。

ZBMaX中的参考文献(2篇)1标准条款

显示结果1至2的2。
按年份排序(引文

  1. Achten,彼得;van Eekelen,马尔科;德莫尔,马滕;Primjje,Runu: EditorArrow:基于箭头的编辑程序设计模型(2013)
  2. van Eekelen,马尔科:美丽的密码,美丽的证据?(2013)伊波尔特