Efficient Type Inclusion Tests

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 10, 1997, Pages 142-156

  Vitek, Jan ^a   Horspool, R Nigel ^b   Krall, Andreas ^c  

^a UNIVERSITY OF GENEVA   (Switzerland)

^b UNIVERSITY OF VICTORIA   (Canada)

^c VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346353778     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

1. H. Aït-Kaci, R. Boyer, P. Lincoln, and R. Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115-146, 1989.
2. Y. Caseau. Efficient handling of multiple inheritance hierarchies. In Proc. Conference on Object Oriented Programming Systems, Languages & Applications, OOPSLA '93, Published as SIGPLAN Notices 28(10), pages 271-287. ACM Press, September 1993.
3. N. H. Cohen. Type-extension type tests can be performed in constant time. ACM Transactions on Programming Languages and Systems, 13(4):626-629, 1991.
4. J. Dean, G. DeFouw, D. Grove, V. Litvinov, and C. Chambers. Vortex: An optimizing compiler for object-oriented languages. In Proc. Conference on Object Oriented Programming Systems, Languages & Applications, OOPSLA '96. ACM Press, October 1996.
5. P. Dencker, K. Dürre, and J. Heuft. Optimization of parser tables for portable compilers. ACM Transaction on Programming Languages and Systems, 6(4):546-572, October 1984.
6. E. W. Dijkstra. Recursive programming. Numer. Programming, (2):312-318, 1960.
7. K. Driesen. Selector table indexing and sparse arrays. In Proc. Conference on Object Oriented Programming Systems, Languages & Applications, OOPSLA '93, Published as SIGPLAN Notices 28(10), pages 259-270. ACM Press, September 1993.
8. K. Driesen, U. Hölzle, and J. Vitek. Message dispatch on pipelined processors. In Proc. European Conference on Object-Oriented Programming, ECOOP'95, Lecture Notes in Computer Science. Springer-Verlag, 1995.
9. K. Driesen, U. Hölzle, and J. Vitek. The OOCSB class heterarchy benchmark suite. Technical Report TRCS97-09, Dept. of Computer Science, University of California, Santa Barbara, July 1997.
10. M. Habib and L. Nourine. Tree structure for distributive lattices and its applications. Theoretical Computer Science, 165:391-405, 1996.
11. A. Krall and R. Grafl. CACAO - a 64 bit JavaVM just-in-time compiler. In G. C. Fox and W. Li, editors, PPoPP'97 Workshop on Java for Science and Engineering Computation, Las Vegas, June 1997. ACM.
12. A. Krall, J. Vitek, and R. N. Horspool. Near optimal hierarchical encoding of types. In Proc. European Conference on Object-Oriented Programming, ECOOP'97, Lecture Notes in Computer Science. Springer-Verlag, June 1997.
13. C. Queinnec. Designing MEROON v3. In C. Rathke, J. Kopp, H. Hohl, and H. Bretthauer, editors, Object-Oriented Programming in Lisp: Languages and Applications. A report on the ECOOP'93 Workshop, September 1993.
14. C. Queinnec. Fast and compact dispatching for dynamic object-oriented languages. Information Processing Letters (accepted for publication), 1997.
15. J. Vitek. Compact dispatch tables for dynamically-typed object-oriented languages. M.sc. thesis, University of Victoria, April 1995.
16. J. Vitek and R. N. Horspool. Taming message passing: Efficient method look-up for dynamically-typed languages. In Proc. European Conference on Object Oriented Programming, ECOOP'94, Lecture Notes in Computer Science. Springer-Verlag, 1994.
17. N. Wirth. Type extensions. ACM Transactions on Programming Languages and Systems, 10(2):204-214, 1988.
18. N. Wirth. Reply to "type-extension type tests can be performed in constant time". ACM Transactions on Programming Languages and Systems, 13(4):630, 1991.