The Study on Formal Semantics of Object-Oriented Programming Languages
面向对象程序设计语言的形式语义研究

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.