Abstract
The behavior of languages such as C++, Java, Smalltalk and Eiffel and the modeling features such classes, inheritance, polymorphism, message passing are discussed. The important theoretical approaches such as subtyping, F-bounds, matching and the object calculus are also discussed. A mathematical model was developed, that show the possibility of motivating the existence of something as relatively sophisticated as an object with a state and method. The two kind of type rules include: introduction rules that describes the formation of functions and records and elimination rules, describing the decomposition of constructions.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
