The theory of classification part 3: Object encodings and recursion

Journal of Object Technology

Volumn 1, Issue 4, 2002, Pages 49-57

  Simons, Anthony J H ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; C (PROGRAMMING LANGUAGE); FORMAL LOGIC; JAVA PROGRAMMING LANGUAGE; RECURSIVE FUNCTIONS; SET THEORY; THEOREM PROVING;

DATA ABSTRACTION; OBJECT ENCODINGS; RECURSION; SMALLTALK;

OBJECT ORIENTED PROGRAMMING;

EID: 2942704661     PISSN: 16601769     EISSN: None     Source Type: Journal    
DOI: 10.5381/jot.2002.1.4.c4     Document Type: Article

References (8)

1. A J H Simons, The Theory of Classification, Part 1: Perspectives on Type Compatibility, in Journal of Object Technology, vol. 1, no. 1, May-June 2002, pages 55-61. http://www.jot.fm/issues/issue_2002_05/column?.
2. A J H Simons, The Theory of Classification, Part 2: The Scratch-Built Typechecker, in Journal of Object Technology, vol. 1, no. 2, July-August 2002, pages 47-54. http://www.jot.fm/issues/issue_2002_07/column4.
3. J C Reynolds, User defined types and procedural data structures as complementary approaches to data abstraction, in: Programming Methodology: a Collection of Articles by IFIP WG2.3, ed. D Gries, 1975, 309-317; reprinted from New Advances in Algorithmic Languages, ed. S A Schuman, INRIA, 1975, 157-168.
4. J C Reynolds, User defined types and procedural data structures as complementary approaches to data abstraction, in: Programming Methodology: a Collection of Articles by IFIP WG2.3, ed. D Gries, 1975, 309-317; reprinted from New Advances in Algorithmic Languages, ed. S A Schuman, INRIA, 1975, 157-168.
5. W Cook, Object-oriented programming versus abstract data types, in: Foundations of Object-Oriented Languages, LNCS 489, eds. J de Bakker et al., Springer Verlag, 1991, 151-178.
6. M Abadi and L Cardelli. A Theory of Objects. Monographs in Computer Science, Springer-Verlag, 1996.
7. A Church, A formulation of the simple theory of types, Journal of Symbolic Logic, 5 (1940), 56-68.
8. L Cardelli and P Wegner, On understanding types, data abstraction and polymorphism, ACM Computing Surveys, 17(4), 1985, 471-521.