摘要: 1.引言(Introduction) 以上三部分以FLOW语言为例介绍了操作语义、指称语义和公理语义的基本概念和方法。FLOW语言是各种实用语言的核心部分,但不包括常见的标识符说明和过程调用等块结构语言成分。标识符说明和过程调用的种类很多,本部分中只讨论局部变元标识符说明和无参数过程调用。先建立一个包含这些成分的语言,称为PFLOW。