编程语言中的基本结构
摘要：形式化的编程语言规范是指定新编程语言的语法和行为的必要工作。将每个语言结构的行为描述为基本结构（funcons）的组合是一种简洁的方法。与通常在参考手册中找到的非正式解释相比，将翻译为funcons的形式化规范可以更加准确和完整。这些规范容易编写和阅读，并且在语言演化时容易更新。 PLanCompS项目已经开发了大量的funcons。每个funcon都是独立定义的，通过使用结构操作语义的模块化变体。这些定义可以在网上获得，并附带有从中生成funcon解释器的工具。 本文介绍和阐述了funcons的动机。它演示了将语言结构翻译为funcons，以及funcon的定义。同时，也将funcons与一些先前的语言规范框架（包括单调语义和动作语义）中使用的符号表达方式进行了对比。
作者：Peter D. Mosses
论文ID：2107.10545
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-08-22