×
彼得·阿奇顿；马克·范·埃克伦；马尔滕·德·莫尔；莱纳斯·普拉斯梅耶

EditorArrow：基于箭头的模型，用于基于编辑器的编程。 （英语） Zbl 1266.68079号

J.功能。程序。 23，第2期，185-224（2013）.
摘要：基于状态的交互式应用程序，无论是在桌面上运行还是作为web应用程序运行，都可以被视为结构化值的互连编辑器的集合，允许用户操作数据。这是GEC和iData工具包所提倡的视图，它们分别为桌面和web GUI应用程序编程提供了高度抽象。这些工具包的特殊功能是，编辑器具有共享、持久状态，并且可以单独处理事件。
在本文中，我们将这些工具包放在Arrow框架中，并介绍了EditorArrow：一个定义共享状态和事件处理的单一统一语义模型。我们研究EditorArrow的属性，尤其是编辑器的属性。此外，我们给出了组合子的定义性质。通过一些小程序示例，给出了EditorArrow模型的参考实现。我们使用证明助手Sparkle讨论模型的形式化推理。事实证明，此工具的可用性在这方面是不可或缺的。

MSC公司：

68甲15 编程语言理论
68甲18 函数编程和lambda演算

关键词：

闪闪发光；基于状态的交互式应用程序

软件：

闪闪发光；编辑器箭头；Yampa公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Achten}等人，J.Funct。程序。23，编号2185-224（2013；兹bl 1266.68079）
全文： 内政部

参考文献：

[1] 第18届函数语言实现与应用国际研讨会论文集，IFL’06第108页–（2006）
[2] 《函数语言的实现与应用》，第17届国际研讨会，2005年9月19日至21日，爱尔兰都柏林，2005年，第106页–（2006）
[3] 过程代数（1990）·Zbl 0716.68002号
[4] 第五届高级函数式编程国际暑期学校会议记录（AFP 2004）第210–（2004）页
[5] 第二届亚洲程序设计语言和系统研讨会（APLAS 2004）第262页–（2004）
[6] 声明式编程的实践方面，PADL04第39页–（2004）
[7] 第十五届功能语言实施国际研讨会论文集，IFL03，英国爱丁堡（2003）
[8] 匈牙利布达佩斯Eötvös Loránd大学Central-European Functional Programming School，匈牙利布达帕斯-修订选修课pp 1–（2005）
[9] 函数编程国际会议第229页–（2001）
[10] 2007年《第二届中欧函数式编程学校会议录》，罗马尼亚克鲁伊·纳波卡，第41页–（2008）
[11] 第十三届功能语言实施国际研讨会会议记录，IFL 2001，瑞典斯德哥尔摩，论文选集，pp 55–（2002）
[12] 通信系统微积分（1980）·Zbl 0452.68027号
[13] 函数编程趋势5：第五届函数编程趋势国际研讨会论文集（TFP04）第1页–（2004）
[14] 内政部：10.1016/S0167-6423（99）00023-4·Zbl 0954.68034号 ·doi:10.1016/S0167-6423（99）00023-4
[15] 第三届ACM Sigplan编程语言历史会议记录第1页–（2007年）
[16] 牛津第四国际学院高级函数编程，第159页–（2003）
[17] 第八届函数与逻辑编程国际研讨会论文集（FLOPS 2006）第242页–（2006）
[18] 2003年ACM SIGPLAN Haskell研讨会会议记录（Haskell'03）第7页–（2003）
[19] 第八届国际ACM Sigplan声明性编程原理与实践会议记录（PPDP'06）第27页–（2006）
[20] 内政部：10.1016/B978-044482830-9/50035-7·doi:10.1016/B978-044482830-9/50035-7
[21] Haskell研讨会论文集，Haskell'10，马里兰州巴尔的摩，美国第49页–（2010）
[22] 1982年ACM Lisp与函数编程研讨会论文集（LFP'82）第253页–（1982）
[23] 《功能语言的实施与应用》，第17届国际研讨会，IFL 2005，爱尔兰都柏林，2005年9月19日至21日，修订论文集第37页-（2005）
[24] Ifl第177页–（2004）
[25] 声明语言的实用方面：第四届国际研讨会，2002年PADL第192页–（2002）·Zbl 1049.68803号
[26] 《设计用户界面：有效人机交互的策略》（1992）
[27] 清洁语言报告2.1版。(2002)
[28] 内政部：10.1145/606666.606670·doi:10.1145/606666.606670
[29] 通信顺序过程（1985）·Zbl 0637.68007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。