安德鲁·莫兰;大卫·桑兹;马格纳斯卡尔森 不稳定的福吉:一种嵌入式协调语言的语义理论。 (英语) Zbl 1026.68091号 科学。计算。程序。 46,编号1-299-135(2003). 摘要:函数式编程语言强大的抽象机制提供了在语言本身中开发特定于域的编程语言的方法。通常,这是通过为应用领域设计一组组合子(高阶可重用程序),以及通过组合和协调单个组合子来构建单个应用程序来实现的。本文关注这样一种嵌入式编程语言的一个成功例子,即Fudgets,它是一个组合子库,用于用惰性函数语言Haskell构建图形用户界面。Fudget库已被用于构建许多实际应用程序,包括一个web浏览器和一个到构造型理论的校对检查器的校对编辑器接口。本文为Fudget概念的核心非确定性流处理器开发了一个语义理论。流处理器的两个特征的相互作用使这种语义理论的发展成为问题:(i) 底层宿主语言的惰性评估机制提供的计算共享,以及(ii)增加了处理反应式应用程序所需的自然并发性所需的非确定性选择。我们证明,高阶函数式语言中的这种特征组合可以被驯服,从而提供一种易于处理的语义理论和归纳原则,适用于推论福格特的上下文等价性。 引用于7文件 MSC公司: 68问题55 计算理论中的语义学 68甲18 函数编程和lambda演算 68甲15 编程语言理论 关键词:哈斯克尔;构造型理论 软件:哈斯克尔;歧管;软糖 PDF格式BibTeX公司 XML格式引用 \textit{A.Moran}等人,科学。计算。程序。46,编号1--2,99-135(2003;Zbl 1026.68091) 全文: 内政部