bennett@concour.CS.Concordia.CA (Anne Bennett) (06/16/89)
A group of researchers at Concordia University is trying to develop a theory for types, classes, and inheritance in statically typed OOPLs such as Eiffel. We are not satisfied with Cardelli's approach [Cardelli, Luca. 1984. "A Semantics of Multiple Inheritance" in Kahn, G., McQueen, D.B., and Plotkin, G. (eds). Semantics of Data Types. Springer-Verlag, Lecture Notes in Computer Science #173, pp. 51-68]. We may or may not use denotational semantics. Is anyone out there doing similar work? If so, we'd like to hear from you. Anne Bennett, bennett@concour.cs.concordia.ca grad student, Computer Science, Concordia University, Montreal, Canada
power@cleo.sw.mcc.com (Leigh Power) (06/23/89)
In addition to Cardelli, you might want to look at the following: Futatsugi, K., Goguen, J., Jouannaud, J-P., and Meseguer, J., "Principles of OBJ2", Proceedings of 12th Anual Symposium on Principles of Programming Languages (New Orleans, La., Jan. 1985). ACM, New York, pp. 52-66. Danforth, S. and Tomlinson, C., "Type Theories and Object-Oriented Programming", ACM Computing Surveys, Vol. 20, No. 1, March 1988, pp. 29-72. Also, you might want to look at an updated version of Cardelli's work in: Cardelli, L. and Wegner, P., "On Understanding Types, Data Abstraction, and Polymorphism", ACM Computing Surveys, Vol. 17, No. 4, December 1985, pp. 471-522. Happy reading! Leigh Power