An algebraic approach to formalization of object-orientation

作者：Chen R^*

来源：International Journal of Computer Mathematics, 1995, 57(1-2): 33-43.

DOI：10.1080/00207169508804409

• abstract data type
• algebraic specification
• object-orientation

Formalization of object-oriented concepts and mechanisms is of extreme importance, but not still explored in depth. This situation is due to the inherent characteristics of objects: objects are not mathematical constructs in the first place. This paper presents a framework for formalization of object-oriented concepts and mechanisms, in which basic concepts and mechanisms of object-orientation are defined with algebraic specifications in forms of ADTs. We give a set of ADTs to axiomatize the most important aspects of object-orientation-including object identity, inheritance, strong typing and message passing.

• 出版日期1995
• 单位华南理工大学