The theory of classification part 5: Axioms, assertions and subtyping

Journal of Object Technology

Volumn 2, Issue 1, 2003, Pages 13-21

  Simons, Anthony J H ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; EQUATIONS OF MOTION; INTEGER PROGRAMMING; SEMANTICS; SYNTACTICS;

ASSERTION LANGUAGES; AXIOMS; OBJECT-ORIENTED TYPE THEORY; SUBTYPING;

OBJECT ORIENTED PROGRAMMING;

EID: 3042589328     PISSN: 16601769     EISSN: None     Source Type: Journal    
DOI: 10.5381/jot.2003.2.1.c2     Document Type: Article

References (7)

1. A. J. H. Simons: The Theory of Classification, Part 2: The Scratch-Built Typechecker, Journal of Object Technology, vol. 1, no. 2, July-August 2002, pages 47-54. http://www.jot.fm/issues/issue_2002_07/column4
2. A. J. H. Simons, The Theory of Classification, Part 4: Object Types and Subtyping, Journal of Object Technology, vol. 1, no. 5, November-December 2002, pages 27-35. http://www.jot.fm/issues/issue_2002_11/column2
3. A. J. H. Simons, The Theory of Classification, Part 1: Perspectives on Type Compatibility, Journal of Object Technology, vol. 1, no. 1, May-June 2002, pages 55-61. http://www.jot.fm/issues/issue_2002_05/column5
4. D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Trans. Soft. Eng. Method., 5(4), 1996, pages 293-333.
5. J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modeling with UML, (Reading MA : Addison Wesley, 1999).
6. C A R Hoare, Proof of correctness of data representations, Acta Informatica, 1, 1972, pages 271-281.
7. B. Meyer, Object-Oriented Software Construction, 2nd edn., Prentice Hall, 1995.