The theory of classification part 1: Perspectives on type compatibility

Journal of Object Technology

Volumn 1, Issue 1, 2002, Pages 55-61

  Simons, Anthony J H ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER SCIENCE; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SYNTACTICS;

COMPATIBILITY; OBJECT-ORIENTED TYPE THEORY; SET-THEORETIC MODELS; TEMPLATE INSTANTIATION;

CLASSIFICATION (OF INFORMATION);

EID: 3042641486     PISSN: 16601769     EISSN: None     Source Type: Journal    
DOI: 10.5381/jot.2002.1.1.c5     Document Type: Article

References (11)

1. B J Cox, Object-Oriented Programming: an Evolutionary Approach, 1st edn., Addison-Wesley, 1986.
2. Mars Climate Orbiter Official Website, http://mars.jpl.nasa.gov/msp98/ orbiter/, September 1999.
3. J L Lions, Ariane 5 Flight 501 Failure, Report of the Inquiry Board, http://sunnyday.mit.edu/accidents/Ariane5accidentreport.html, July 1996.
4. J C Reynolds, Towards a theory of type structure, Proc. Coll. sur la Programmation, New York; pub. LNCS 19, Springer Verlag, 1974, 408-425.
5. L Cardelli and P Wegner, On understanding types, data abstraction and polymorphism, ACM Computing Surveys, 17(4), 1985, 471-521.
6. B Meyer, Object-Oriented Software Construction, 2nd edn., Prentice Hall, 1995.
7. W Harris, Contravariance for the rest of us, J. of Obj.-Oriented Prog., Nov-Dec, 1991, 10-18.
8. J M Spivey, Understanding Z: a Specification Language and its Formal Semantics, CUP, 1988.
9. P Martin-Löf, Intuitionistic type theory, lecture notes, Univ. Padova, 1980.
10. J H Morris, Types are not sets, Proc. ACM Symp. on Principles of Prog. Längs., Boston, 1973, 120-124.
11. K Futatsugi, J Goguen, J-P Jouannaud and J Messeguer, Principles of OBJ-2, Proc. 12th ACM Symp. Principles of Prog. Langs., 1985, 52-66.