×

反复无常:一种嵌入式协调语言的语义理论。 (英语) Zbl 1026.68091

摘要:函数式编程语言强大的抽象机制提供了在语言本身中开发特定领域编程语言的方法。通常,这是通过为一个应用领域设计一组组合器(高阶可重用程序),以及通过组合和协调单个组合器来构造单个应用程序来实现的。本文介绍了这种嵌入式编程语言的一个成功例子,即Fudgets,一个用lazy函数语言Haskell构建图形用户界面的组合函数库。Fudget库已经被用来构建大量的应用程序,包括一个web浏览器和一个校对器接口,用于构造类型理论的校对。本文为Fudget概念的核心非确定性流处理器开发了一个语义理论。流处理器的两个特性的相互作用使得这种语义理论的发展成为问题:
(i) 底层宿主语言的延迟求值机制提供的计算共享,以及
(ii)增加了非确定性的选择,以处理反应性应用程序所需的自然并发性。
我们证明,高阶功能语言的这种特征组合是可以驯服的,以提供一个易于处理的语义理论和归纳原则,适用于对Fudgets的上下文等价性进行推理。

理学硕士:

68问55 计算理论中的语义学
68N18 函数规划与lambda演算
68N15 程序设计语言理论
PDF格式 BibTeX公司 XML 引用
全文: 内政部