An efficient class and object encoding

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 35, Issue 10, 2000, Pages 311-324

  Glew, N ^a  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; COMPUTER PROGRAMMING LANGUAGES; ENCODING (SYMBOLS); PROGRAM COMPILERS; SEMANTICS;

OBJECT ENCODING;

OBJECT ORIENTED PROGRAMMING;

EID: 0034448951     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/354222.353192     Document Type: Conference Paper

References (50)

1. Subtyping recursive types
2. An interpretation of objects and object types
3. Comparing object encodings
4. An imperative, first-order calculus with object extension
5. A paradigmatic object-oriented programming language: Design, static typing and semantics
6. PolyTOIL: A type-safe polymorphic object-oriented language
7. A semantics of multiple inheritance
8. F-bounded quantification for object-oriented programming
9. Subtyping recursive types in kernel fun
10. Inheritance is not subtyping
11. A proposal for making Eiffel type-safe
12. An interpretation of typed oop in a language with state
13. A lambda calculus of objects and method specialization
14. A delegation-based object calculus with subtyping
15. The development of type systems for object-oriented languages
16. On the relationship between classes, objects, and data abstraction
17. Object closure conversion
18. Type dispatch for named hierarchical types
19. Positive subtyping
20. Type destructors
21. Inheritance in SMALLTALK-80: A denotational definition
22. Efficient recursive subtyping
23. Two semantic models of object-oriented languages
24. Representing java classes in a typed intermediate language
25. TALx86: A realistic typed assembly language
26. Toward a typed foundation for method specialization and inheritance
27. The TIL/ML compiler: Performance and safety through types
28. From System F to typed assembly language
29. The design and implementation of a certifying compiler
30. Simple type-theoretic foundations for object-oriented programming
31. Objects as closures: Abstract semantics of object-oriented languages
32. Programming objects with ML-ART, an extension to ML with abstract and record types
33. Classes in Object ML via modules
34. Simple objects for Standard ML
35. Objective ML: A simple object-oriented extension of ML
36. TIL: A type-directed optimizing compiler for ML
37. Full abstraction for first-order objects with recursive types and subtyping
38. Using modules as classes