%0 Journal Article
%T The Study on Formal Semantics of Object-Oriented Programming Languages<br>面向对象程序设计语言的形式语义研究
%A Qu Yuzhong
%A <br>瞿裕忠
%A 王志坚
%J 计算机科学
%D 1995
%I 
%X Object-oriented programming languages have become the important tools for program-ming-in-the-large. This paper simply illustrates the importance of the research on formal seman-tics of object-oriented programming languages,gives a survey of the research work on this area, and presents some development of our work on this area,and finally outlines some direction of the further research.
%K Programming languge
%K Object-oriented programming language
%K Formal semantic<br>程序语言
%K 面向对象
%K 形式语义
%K 程序设计
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=AF8C36A757C971AB5ECACB77CE65F3D1&yid=BBCD5003575B2B5F&vid=BC12EA701C895178&iid=0B39A22176CE99FB&sid=B31275AF3241DB2D&eid=F3090AE9B60B7ED1&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0