EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL
合成语言FOPL基于方程逻辑的语义

Programming language FOPL is a hybrid language which supports functional programming style and object-oriented programming style. In this paper, the type concepts of FOPL are presented. Also, the rules for purity judgement of expressions, typing expressions and equivalence judgement of expressions are discussed. These rules describe the semantics of FOPL on equational logic.