ON TYPE THEORY FOR OBJECT ORIENTED PROGRAMMING

Many type theories for object oriented programming have been proposed. The focuses of each type theory, however, are different and each theory can solve certain kinds of problems of object oriented programming. In order to provide the foundation for further study of type theories for object oriented programming, this paper introduces and compares aBSTRACT data type theory, record calculus and object calculus from the view point of object, class, type and inheritance.