{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:03:15Z","timestamp":1725483795577},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437598"},{"type":"electronic","value":"9783540479932"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47993-7_23","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T01:12:20Z","timestamp":1179191540000},"page":"545-561","source":"Crossref","is-referenced-by-count":6,"title":["Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies"],"prefix":"10.1007","author":[{"given":"Robert E.","family":"Filman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"A\u00eft-Kaci, H., Boyer, R., Lincoln, P., and Nasr, R.. Efficient implementation of lattice operations. TOPLAS 11,1 (Jan. 1989), 115\u2013146.","DOI":"10.1145\/59287.59293"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Baker, H. A Decision Procedure for Common Lisp\u2019s SUBTYPEP Predicate. J. Lisp and Symbolic Computation 5, (Sept. 1992), 157\u2013190.","DOI":"10.1007\/BF01807504"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Caseau, Y. Efficient handling of multiple inheritance hierarchies. In Proc. OOPSLA-93, (Washington, D.C., 1993), 271\u2013287.","DOI":"10.1145\/165854.165905"},{"issue":"1","key":"23_CR4","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1111\/0824-7935.00081","volume":"15","author":"Y. Caseau","year":"1999","unstructured":"Caseau, Y., Habib, M., Nourine, L., and Raynaud, O. Encoding of multiple inheritance hierarchies and partial orders. Computational Intelligence 15,1 (1999), 50\u201362.","journal-title":"Computational Intelligence"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/115372.115297","volume":"13","author":"N. H. Cohen","year":"1991","unstructured":"Cohen, N. H. Type-extension tests can be performed in constant time. TOPLAS 13 (1991), 626\u2013629.","journal-title":"TOPLAS"},{"issue":"September","key":"23_CR6","doi-asserted-by":"crossref","first-page":"904","DOI":"10.1145\/4284.4285","volume":"28","author":"R. Fikes","year":"1985","unstructured":"Fikes, R., and Kehler, T. The role of frame-based representation in reasoning. CACM, 28,9 (September 1985), 904\u2013920.","journal-title":"CACM"},{"key":"23_CR7","volume-title":"SmallTalk-80: The Language and its Implementation","author":"A. Goldberg","year":"1980","unstructured":"Goldberg, A., and Robson, D. SmallTalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA. (1980)."},{"key":"23_CR8","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., and Bracha, G. The Java Language Specification, 2nd Edition. Addison-Wesley, Reading, MA, (2000).","edition":"2nd Edition"},{"key":"23_CR9","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"ORDAL\u201994","author":"M. Habib","year":"1994","unstructured":"Habib, M., and Nourine, L., Bit-vector encoding for partially ordered sets, ORDAL\u201994, LNCS No 831, Springer-Verlag, Berlin (1994), 1\u201312."},{"key":"23_CR10","volume-title":"Object-Oriented Programming in Common Lisp: A Programmer\u2019s Guide to CLOS","author":"S. E. Keene","year":"1989","unstructured":"Keene, S. E. Object-Oriented Programming in Common Lisp: A Programmer\u2019s Guide to CLOS. Addison-Wesley, Reading, Massachusetts (1989)."},{"key":"23_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-45337-7_10","volume-title":"Proc. ECOOP 2001","author":"O. Raynaud","year":"2001","unstructured":"Raynaud, O. and Thierry, E. A quasi optimal bit-vector encoding of tree hierarchies. Application to efficient type inclusion tests. In Proc. ECOOP 2001. LNCS 2072, Berlin: Springer-Verlag, (2001), 165\u2013180."},{"issue":"October","key":"23_CR12","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/MC.1983.1654198","volume":"16","author":"L. K. Schubert","year":"1983","unstructured":"Schubert, L. K., Papalaskaris, M. A., and Taugher, L. Determining type, part, color, and time relationships. IEEE Computer 16,10 (October 1983), 53\u201360.","journal-title":"IEEE Computer"},{"key":"23_CR13","unstructured":"Stickel, M. E. Automatic deduction by theory resolution. In Proc. IJCAI-85. Los Angeles, Morgan Kauffman, Los Altos, CA (1985), 1181\u20131186."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Vitek, J., Horspool, R. N., and Krall, A. Efficient type inclusion tests. In Proc. OOPSLA-97, Atlanta, (October 1997), 142\u2013157.","DOI":"10.1145\/263698.263730"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Walton, J., Filman, R. E., and Korsmeyer, D. J. The evolution of the DARWIN system. In Proc. ACM Symposium on Applied Computing, Como, Italy, (March 2000), 971\u2013977.","DOI":"10.1145\/338407.338709"},{"volume-title":"Mammal Species of the World","year":"1993","key":"23_CR16","unstructured":"Wilson, D. E., and Reeder, D. M. (Eds.). Mammal Species of the World. Smithsonian Institution Press, Washington, D.C., 1993. \n http:\/\/gopher:\/\/nmnhgoph.si.edu\/00\/.docs\/mammals_data\/list"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Zibin, Y. and Gil, J. Efficient subtyping tests with PQ-Encoding. In Proc. OOPSLA-2001, Tampa, Florida (October 2001), 96\u2013106.","DOI":"10.1145\/504282.504290"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2002 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47993-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T12:13:25Z","timestamp":1550319205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47993-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437598","9783540479932"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-47993-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}