Operational Semantics with Hierarchical Abstract Syntax Graphs
Operational Semantics with Hierarchical Abstract Syntax Graphs
复制标题
具有分层抽象语法图的操作语义
DOI：
10.4204/eptcs.334.1
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
D. Ghica
中科院分区：
文献类型：
--
作者：
D. Ghica
这是一篇激动人心的教程，介绍了使用图形语言作为术语的表示，并将图形重写作为约简规则的表示的编程语言的语义分析。我们展示了图形语言如何自动合并所需的功能，如阿尔法等价，以及它如何在统一的框架中描述纯计算、命令式存储和控制功能。图语义结合了结构化操作语义和抽象机器的一些最好的特征，同时为上下文等价性的推理提供了强大的新方法。所有技术细节都可以在Muroya和作者的扩展技术报告中找到，也可以在Muroya的博士论文中找到。
This is a motivating tutorial introduction to a semantic analysis of programming languages using a graphical language as the representation of terms, and graph rewriting as a representation of reduction rules. We show how the graphical language automatically incorporates desirable features, such as alpha-equivalence and how it can describe pure computation, imperative store, and control features in a uniform framework. The graph semantics combines some of the best features of structural operational semantics and abstract machines, while offering powerful new methods for reasoning about contextual equivalence. All technical details are available in an extended technical report by Muroya and the author and in Muroya's doctoral dissertation.