机构名称：
¥ 4.0
在正式检查程序的（预期）含义时，通常会有很多麻烦，并且会增加复杂性，因为程序的形式语义通常与程序本身以及生成编写程序的编程语言的形式语法无关。相反，van Wijngaarden 语法具有内在语义，即它们的规则包含或表达由它们生成的终端字符串的（预期）含义。这种内在性允许在句法变化和上下文相关条件下保留含义。为了更好地展示 van Wijngaarden 语法语义的内在性，我将它们与属性语法进行了对比，后者是需要对编程语言进行语义分析时（例如在编译中）经常选择的选择。
van Wijngaarden 语法的内在语义
主要关键词
相关文件推荐
