×

兹马思-数学第一资源

一种抽象的、可重用的、可扩展的编程语言设计体系结构。(英语) Zbl 1397.68023
Tannen,Val(ed.)等人,在计算理论和实践中寻求优雅。献给彼得·布内曼的论文。EBO-418-648(柏林,邮编:648-418;邮编:IS648/643)。计算机科学课堂讲稿8000,112-166(2013)。
摘要:有一些基本的计算概念是所有编程语言的核心。构成这样一组概念的确切要素决定了(1)这样一种语言所设计的计算服务的特定性质,(2)它的目的是为了什么用户,以及(3)在什么设备上和在什么环境下使用它。因此,可以提出一组基本构建块及其操作作为组合过程,通过使用通用构造和元操作的工具箱指定所需的任务来实现软件编程。通过LALR(\(k\))语法技术指定的语法可以通过简单的yacc技术增强识别能力。在此基础上,可以简单地设计和生成一组可实现的形式化操作语义构造(语法和语义)点菜,通过简单的组合其所需的功能。这里介绍的工作以及由此衍生的工具可能是被视为一个工具箱,用于生成具有所需功能集的语言实现。它简化了由peterlandin的SECD机器开创的编程语言的自动实用生成。本文所概述的内容构成了一个实用的计算代数,它扩展了具有对象/类和幺半群理解的多态型\(\lambda\)-演算。本文描述了这样一个系统的几个最显著的部分,特别强调了任何创新的特性-形式语法和语义。它可以被看作是一系列可组合的抽象机器构造和操作的原型化的一些可重用编程语言设计技术的高级教程。
整个系列请参见[Zbl 1345.68011].
理学硕士:
68N15 程序设计语言理论
68N18 函数规划与lambda演算
68问55 计算理论中的语义学
PDF格式 BibTeX公司 XML 引用
全文: 内政部