描述面向对象语言抽象语义的几个关键概念

Key Concepts of Describing Abstract Semantics Facing the Object Language

本文运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了smalltalk的完全抽象语义模型框架。

Using the basic theory of algebra semantics, the author provides severalkey concepts which can describe abstract semantics facing the object language. Andbased on this, the model frame of smalltalk with complete abstract semantics is giv-en in the paper.