Simons, A.J.H. (2002) The theory of classification part 1: perspectives on type compatibility. Journal of Object Technology, 1 (1). 55 - 61. ISSN 1660-1769
Abstract
Object oriented type theory was used to study the syntactic and semantic type compatibility. In syntactic compatibility the components provides all the expected operations. In semantic compatibility the component's operations behave in the expected way. Various examples of failure due to type-related software design faults were discussed.
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:16 |
Last Modified: | 26 Oct 2016 17:25 |
Published Version: | http://dx.doi.org/10.5381/jot.2002.1.1.c5 |
Status: | Published |
Refereed: | Yes |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:79275 |