A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests.

Olivier Raynaud, Eric Thierry

Browse the full ECOOP paper archive.