%0 Journal Article
%T EQUATIONAL SEMANTICS OF HYBRID LANGUAGE FOPL<br>合成语言FOPL基于方程逻辑的语义
%A Mei Hong
%A Sun Yongqiang
%A <br>梅宏
%A 孙永强
%J 软件学报
%D 1995
%I 
%X 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.
%K Data type
%K equational semantics
%K hybrid language
%K functional programming
%K object-oriented programming<br>数据类型
%K 方程语义
%K 合成语言
%K 函数式程序设计
%K 面向对象程序设计
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=379FF01A8D7E234A5ECB2BE863B47DF4&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=DF92D298D3FF1E6E&sid=8CCD0401CC9AE432&eid=BFB86B6ED3A99B9D&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=13