Simons, A.J.H. (2002) The theory of classification part 2: the scratch-built typechecker. Journal of Object Technology, 1 (2). 47 - 54. ISSN 1660-1769
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2002 JOT. Reproduced in accordance with the publisher's self-archiving policy. |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 06 Jun 2014 10:31 |
Last Modified: | 26 Mar 2018 11:36 |
Published Version: | http://dx.doi.org/10.5381/jot.2002.1.2.c4 |
Status: | Published |
Refereed: | Yes |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:79276 |