Object-oriented knowware programming and its abstract inheritance semantics.

Ruqian Lu
DOI: https://doi.org/10.1109/ISKE.2010.5680782
2010-01-01
Abstract: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. © 2010 IEEE.
What problem does this paper attempt to address?