Abstract
A simple abstract model of Eiffel is introduced, and its denotational semantics is defined using VDM style. A static analysis approach is presented to treat multiple inheritance and renaming mechanism. Within the framework of denotational semantics introduced in this paper, the key features of Eiffel, such as identification, classification, multiple inheritance, polymorphism and dynamic binding, can be adequately characterized.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Cardelli L. A semantics of multiple inheritance. LNCS 173, 1984.
Cardelli L, Wegner P. On understanding type, data abstraction, polymorphism.Computing Surveys, 1985, 17(4).
Wolczko M. Semantics of smalltalk-80. InProc. of ECOOP'87, LNCS 276, 1987.
Wolczko M. Semantics of object-oriented languages. Ph.D. Thesis, The University of Manchester, 1988.
Cook W, Palsberg J. A denotational semantics of inheritance and its correctness.SIGPLAN Notice, 1989, 24(10).
Cook W. A denotational semantics of inheritance. Ph.D. Thesis, Brown University, 1989.
Reddy U S. Objects as closures: Abstract semantics of object-oriented language. InProc. ACM Conf. on Lisp and FP, 1988.
Hense A V. Wrapper semantics of an object-oriented programming language with state. INTACS'91 Proceedings, pp. 548–568.
Goldberg A, Robson D. Smalltalk-80: The language and Implementation. Addison Wesley, 1983.
Meyer B. Object-Oriented Software Construction. Prenternational, 1988.
Meyer B. Eiffel: The Language. Prentice Hall, 1992.
Schmidt D A. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Inc. 1986.
Borning A H, Ingalls. Multiple inheritance in Smalltalk-80. InProc. National Conf. on Arti. Intel. AAAI'82.
Author information
Authors and Affiliations
Additional information
Qu Yuzhong received his B.S. and M.S. degrees in mathematics from Fudan University in 1985 and 1988, respectively. From 1991 to 1994, he was a Ph.D. candidate in The Institute of Computer Software, Nanjing University. Now, he is a Lecturer in the Department of Computer Science and Engineering, South East University, Nanjing. His research interests include formal semantics of programming language, object-oriented methodology and type theory.
Wang Zhijian received his B.S., M.S. and Ph.D. degrees in computer software from Nanjing University in 1982, 1986 and 1990 repectively. He is currently an Associate Professor in The Institute of Software, Nanjing University. His research interests include inductive inference and machine learning, logic programming and object-oriented methodology.
Xu Jiafu graduated from Department of Mathematics at Central University in 1948, and then he became an Assistant of that university. In 1953, he became a Lecturer. From 1957 to 1959, he was in Moscow State University as a visiting scholar devoted to computer programming. In 1978, he was promoted as an Associate Professor of computer science at Nanjing University. Since, he became a Professor.
His research interests cover various aspects of computer science, especially programming language, compiling techniques, software automation, novel programming and natural language understanding. He is also the Vice Present of Chinese Computer Federation and the Director of the State Key Laboratory of Novel Computer Software Technology at Nanjing University.
Rights and permissions
About this article
Cite this article
Qu, Y., Wang, Z. & Xu, J. Denotational semantics of a simple model of Eiffel. J. of Compt. Sci. & Technol. 10, 214–226 (1995). https://doi.org/10.1007/BF02943489
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943489