摘要
面向对象程序设计语言(以下简称面向对象语言)的基本思想起源于六十年代中期的Simula语言,在七十年代的Smalltalk语言及环境中得到发展,在八十年代的Eiffel、C++等语言中进一步得到巩固和完善。
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.
出处
《计算机科学》
CSCD
北大核心
1995年第2期6-10,共5页
Computer Science
关键词
程序语言
面向对象
形式语义
程序设计
Programming languge,Object-oriented programming language,Formal semantic.
