A Formal Deenition of the Dynamic Semantics of the Eiiel Language

This paper formally deenes the dynamic semantics of the Eiiel language in an operational style using Natural Semantics. We present a technique to describe object-oriented features such as message passing, multiple inheritance, polymorphism, redeenition and dynamic binding.

[1]  M. E. Szabo,et al.  The collected papers of Gerhard Gentzen , 1969 .

[2]  Bernard Lang,et al.  Metal: A Formalism to Specify Formalisms , 1983, Sci. Comput. Program..

[3]  Elham Morcos-Chounet,et al.  PPML: A General Formalism to Specify PrettyPrinting , 1986, IFIP Congress.

[4]  Gilles Kahn,et al.  Natural Semantics , 1987, STACS.

[5]  Patrick Borras,et al.  Centaur: the system , 1988, Software Development Environments.

[6]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .