【摘要】 本文旨在对语义学中的关系方法给出一个概要说明。文中,我们将用一阶逻辑的公式来表述程序中变量的值之间的关系。因此,这种方法的好处是:不必做出专门的形式系统,不需要专门的推理规则。我们所要做的一切就是把程序变换为公理,变换规则是形式规则。程序的一些性质,至少其正确性,可从所得到的公理用通常的方法来加以证明,例如,用自然推理来证明。 本文将从几个最简单的例子着手。更多还原

【Abstract】 An informal description of the "relational semantics" is given. In this approach, the meaning of program is described by the relations of the values of the variables in the program. The relations is formalized as wff’s in a first-order theory which is an extention of the theory where the program is based on. The advantage is obvious: no special inference rule is needed. All we have to do is to translate programs into axioms by some formal rules. Then the properties of the programs, at least the correctness, can be proved in the extended theory in a usual way, for example, by the "natural deduction".更多还原