阿尔特·卡奇,哈桑 抽象、可重用和可扩展的编程语言设计体系结构。 (英语) Zbl 1397.68023号 Tannen,Val(编辑)等人,《在计算理论和实践中寻求优雅》。专为彼得·布内曼撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-41659-0/pbk;978-3-442-41660-6/电子书)。计算机科学课堂讲稿8000,112-166(2013)。 概要:有几个基本的计算概念是所有编程语言的核心。构成这样一组概念的确切元素决定了(1)这种语言所设计的计算服务的具体性质,(2)它是为什么用户设计的,以及(3)在什么设备上和在什么环境中使用它。因此,可以提出一组基本的构建块和操作,作为组合程序,通过使用通用构造和元操作的工具箱指定所需的任务来启用编程软件。由于yacc技术的简单增强,通过LALR(\(k\))语法技术指定的语法可以得到更大的识别能力。在此基础上,可以简单地设计和生成一组可实现的正式操作语义结构(语法和语义)点菜通过其所需功能的简单组合。这里介绍的工作以及由此衍生的工具可能是被视为一个工具箱,用于生成具有所需功能集的语言实现。它简化了彼得·兰丁(Peter Landin)的SECD机器开创的编程语言的自动实用生成。所概述的内容构成了一个实用的计算代数,它用对象/类和幺半群理解扩展了多态类型演算。本文描述了这样一个系统的几个最显著的部分,特别强调了任何创新的功能——形式语法和语义。它可以被视为以一组可组合的抽象机器构造和操作的形式原型化的几种可重用编程语言设计技术的高级教程。关于整个系列,请参见[Zbl 1345.68011号]. 引用于1文件 MSC公司: 68甲15 编程语言理论 68甲18 函数编程和lambda演算 68问题55 计算理论中的语义学 关键词:程序设计语言设计;面向对象程序设计;自底向上解析;LALR解析器生成;指称语义学;操作语义学;\(\lambda\)-微积分;多态类型的;静态/动态类型检查/推理;声明性集合;幺半群理解;中间语言;抽象机器 软件:扬子乙酰氯;CCUBE公司;OPL公司;函数 PDF格式BibTeX公司 XML格式引用 \文本{H.Aït-Kaci},Lect。注释计算。科学。8000、112--166(2013;Zbl 1397.68023) 全文: 内政部