Jan Vitek, R. Nigel Horspool, Andreas Krall  Home/Search
Context Related
| purdue.edu/homes/jv/pu...oopsla97.ps.gz csr.uvic.ca/~nigelh/Publ...oopsla97.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: purdue.edu/homes/jv/publist (more) From: csr.uvic.ca/~nigelh/pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A type inclusion test determines whether one type is a subtype of another. Efficient type testing techniques exist for single subtyping, but not for languages with multiple subtyping. To date, the only fast constant-time technique relies on a binary matrix encoding of the subtype relation with quadratic space requirements. In this paper, we present three new encodings of the subtype relation, the packed encoding, the bit-packed encoding and the compact encoding. These encodings have di erent... (Update)
Context of citations to this paper: More
...4. Optimization for Type Inclusion Test In this section, we describe the implementation of type inclusion test. Previous approaches [8, 9] on type inclusion test in constant time have been proposed encoding the class hierarchy in a small table, but they require recomputation...
...data structure is a simple list, for interfaces it is a directed acyclic graph. Although very efficient constant time type checking algorithms exist [VHK97] most of the currently available JVMs use some variations of the simple algorithm caching one or two supertypes [SOY 00]...
Cited by: More
Generic Constraints for Content-Based Publish/Subscribe - Mühl (2001) (Correct)
Efficient Subtyping Tests with PQ-Encoding - Zibin, Gil (2001) (Correct)
Exploiting Exceptions - Zastre, Horspool (2001) (Correct)
Similar documents (at the sentence level):
71.2%: Efficient Type Inclusion Tests - Vitek, Horspool, Krall (1997) (Correct)
Active bibliography (related documents): More All
0.5: Efficient Implementation of Java Interfaces.. - Alpern, Cocchi.. (2001) (Correct)
0.5: Implementing Distributed Generic Functions - Queinnec (Correct)
0.5: Minimal Data Upgrading to Prevent Inference and Association .. - Steven Dawson Sabrina (1999) (Correct)
Similar documents based on text: More All
1.4: Near Optimal Hierarchical Encoding of Types - Krall, Vitek, Horspool (1997) (Correct)
0.3: Flow Grammars - a Flow Analysis Methodology - Uhl, Horspool (1994) (Correct)
0.3: JAZZ: An Efficient Compressed Format for Java Archive Files - Bradley, Horspool, Vitek (1998) (Correct)
Related documents from co-citation: More All
3: Optimization of object-oriented programs using static class hierarchy analysis - DEAN, GROVE et al. - 1995
2: Monitors and Exceptions: How to implement Java efficiently - Krall, Probst - 1998
2: The Java language specification (context) - James, Bill et al. - 1996
BibTeX entry: (Update)
J. Vitek, R.N. Horspool, and A. Krall. Efficient type inclusion tests. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Application, OOPSLA'97, Atlanta, GA, October 1997. ACM Press. http://citeseer.ist.psu.edu/vitek97efficient.html More
@inproceedings{ vitek97efficient,
author = "Jan Vitek and Nigel Horspool and Andreas Krall",
title = "Efficient Type Inclusion Tests",
booktitle = "Conference on Object Oriented Programming Systems, Languages \& Applications ({OOPSLA'97})",
address = "Atlanta",
editor = "Toby Bloom",
pages = "142--157",
year = "1997",
url = "citeseer.ist.psu.edu/vitek97efficient.html" }
Citations (may not include all citations):90 Vortex: An optimizing compiler for object-oriented languages - Dean, DeFouw et al. - 1996
22 ACM Transactions on Programming Languages and Systems (context) - Wirth - 1988
18 Designing MEROON v - Queinnec - 1993
18 Message dispatch on pipelined processors - Driesen, olzle et al. - 1995
17 Selector table indexing and sparse arrays (context) - Driesen - 1993
14 Optimization of parser tables for portable compilers (context) - Dencker, urre et al. - 1984
13 Recursive programming (context) - Dijkstra - 1960
12 Tree structure for distributive lattices and its application.. (context) - Habib, Nourine - 1996
12 Compact dispatch tables for dynamicallytyped object-oriented.. - Vitek - 1995
11 Type-extension type tests can be performed in constant time (context) - Cohen - 1991
10 Near optimal hierarchical encoding of types - Krall, Vitek et al. - 1997
5 Fast and compact dispatching for dynamic object-oriented lan.. - Queinnec - 1997
5 bit JavaVM just-in-time compiler (context) - Krall, Gra - 1997
4 Taming message passing: Ecient method look-up for dynamicall.. (context) - Vitek, Horspool - 1994
3 Ecient handling of multiple inheritance hierarchies (context) - Caseau - 1993
2 The OOCSB class heterarchy benchmark suite (context) - Driesen, olzle et al. - 1997
2 Ef- cient implementation of lattice operations (context) - t-Kaci, Boyer et al. - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.purdue.edu/homes/jv/publist.html): More
Taming Message Passing: Efficient Method Look-Up for.. - Vitek, Horspool (1994) (Correct)
New Paradigms for Distributed Programming - Vitek (Correct)
Flexible Alias Protection - Noble, Vitek, Potter (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC