Efficient subtyping tests with PQ-encoding

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

Volumn 36, Issue , 2001, Pages 96-107

  Zibin, Yoav ^a   Gil, Joseph Yossi ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; DATA STRUCTURES; ENCODING (SYMBOLS); JAVA PROGRAMMING LANGUAGE; OPTIMIZATION; PROGRAM DIAGNOSTICS; QUERY LANGUAGES; RESPONSE TIME (COMPUTER SYSTEMS);

OBJECT LAYOUT MODEL; PQ ENCODING; SUBTYPING TESTS;

OBJECT ORIENTED PROGRAMMING;

EID: 0035552062     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/504311.504290     Document Type: Conference Paper

References (33)

1. Efficient management of transitive relationships in large data and knowledge bases
2. On-line planarity testing
3. On-line graph algorithms with SPQR-trees
4. On-line maintenance of triconnected components with SPQR-trees
5. Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms
6. Representation of an order as union of interval orders
7. The Modula-3 type system
8. Efficient handling of multiple inheritance hierarchies
9. The Cecil language, specification and rationale
10. Type-extension tests can be performed in constant time
11. Recursive programming
12. Empirical study of object-layout strategies and optimization techniques
13. Heterogeneous encoding
14. Sparse term encoding for dynamic taxonomies
15. Space- and time-efficient memory layout for multiple inheritance
16. CACAO: Ein 64bit JavaVM just-in-time compiler
17. Bit-vector encoding for partially ordered sets
18. Efficient implementation of lattice operation
19. On computing a maximal planar subgraph using PQ-trees
20. A note on computing a maximal planar subgraph using PQ-trees
21. CACAO - A 64 bit JavaVM just-in-time compiler
22. Efficient type inclusion tests
23. Near optimal hierarchical encoding of types
24. PQ-trees, an implementation as template class in C++
25. Encoding of multiple inheritance hierarchie and partial orders
26. A quasi optimal bit-vector encoding of tree hierarchies, application to efficient type inclusion tests
27. Determining type, part, colour, and time relationships
28. Incremental encoding of multiple inheritance hierarchies