Object-Oriented Knowware Programming and its Abstract Inheritance Semantics
This paper reviews the basic concepts of knowware engineering and proposes a methodology of object-oriented knowware analysis. Also a preliminary framework of abstract semantics for knowware programming is studied. We propose the technique of symbolic generator and symbolic inheritance to implement the abstract interpretation of class methods and class inheritance when concrete and abstract objects and classes both exist.
Ruqian Lu
Academy of Mathematics and Systems Science, Chinese Academy of Sciences Beijing 100190, China
国际会议
The 2010 International Conference on Intelligent Systems and Knowledge Engineering(第五届智能系统与知识工程国际会议)
杭州
英文
1-4
2010-11-15(万方平台首次上网日期,不代表论文的发表时间)