A formal definition of the dynamic semantics of the eiffel language
| Author(s) : | Michael Oudshoorn Denis Caromel Isabelle Attali, |
| Publisher : | N/A |
| Publication Date : | 1993 |
| ISSN : | N/A |
| Abstract : | This paper formally defines the dynamic semantics of the Eiffel language in an operational style using Natural Semantics. We present a technique to describe object-oriented features such as message passing, multiple inheritance, polymorphism, redefinition and dynamic binding. 1, |