{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:14:37Z","timestamp":1784182477581,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540405313","type":"print"},{"value":"9783540450702","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45070-2_17","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T21:23:52Z","timestamp":1289251432000},"page":"378-404","source":"Crossref","is-referenced-by-count":19,"title":["Java Subtype Tests in Real-Time"],"prefix":"10.1007","author":[{"given":"Krzysztof","family":"Palacz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan","family":"Vitek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/59287.59293","volume":"11","author":"H. A\u00eft-Kaci","year":"1989","unstructured":"A\u00eft-Kaci, H., Boyer, R., Lincoln, P., Nasr, R.: Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems\u00a011(1), 115\u2013146 (1989)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR2","unstructured":"Alpern, B., Cocchi, A., Grove, D.: Dynamic type checking in Jalapeno. In: Java Virutal Machine Research and Technology Symposium (April 2001)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/3-540-45449-7_21","volume-title":"Embedded Software","author":"W.S. Beebee Jr.","year":"2001","unstructured":"Beebee Jr., W.S., Rinard, M.: An implementation of scoped memory for real-time Java. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, p. 289. Springer, Heidelberg (2001)"},{"key":"17_CR4","series-title":"Java Series","volume-title":"The Real-Time Specification for Java","author":"G. Bollella","year":"2000","unstructured":"Bollella, G., Gosling, J., Brosgol, B., Dibble, P., Furr, S., Turnbull, M.: The Real-Time Specification for Java. Java Series. Addison-Wesley, Reading (2000)"},{"key":"17_CR5","first-page":"271","volume-title":"Proc. Conference on Object Oriented Programming Systems, Languages & Applications, OOPSLA 1993, Published as SIGPLAN Notices","author":"Y. Caseau","year":"1993","unstructured":"Caseau, Y.: Efficient handling of multiple inheritance hierarchies. In: Proc. Conference on Object Oriented Programming Systems, Languages & Applications, OOPSLA 1993, Published as SIGPLAN Notices, vol.\u00a028(10), pp. 271\u2013287. ACM Press, New York (1993)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Click, C., Rose, J.: Fast subtype checking in the HotSpot VM. In: Java Grande 2002 (November 2002)","DOI":"10.1145\/583810.583821"},{"issue":"4","key":"17_CR7","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 type tests can be performed in constant time. ACM Transactions on Programming Languages and Systems\u00a013(4), 626\u2013629 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Corsaro, A., Cytron, R.K.: Efficient memory-reference checks for realtime java. In: Proceedings of Languages, Compilers, and Tools for Embedded Systems, LCTES 2003 (2003)","DOI":"10.1145\/780737.780740"},{"key":"17_CR9","volume-title":"Proc. Conference on Object Oriented Programming Systems, Languages & Applications, OOPSLA 1996","author":"J. Dean","year":"1996","unstructured":"Dean, J., DeFouw, G., Grove, D., Litvinov, V., Chambers, C.: Vortex: An optimizing compiler for object-oriented languages. In: Proc. Conference on Object Oriented Programming Systems, Languages & Applications, OOPSLA 1996. ACM Press, New York (1996)"},{"key":"17_CR10","first-page":"312","volume":"2","author":"E.W. Dijkstra","year":"1960","unstructured":"Dijkstra, E.W.: Recursive programming. Numer. Programming\u00a0(2), 312\u2013318 (1960)","journal-title":"Numer. Programming"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/0304-3975(95)00232-4","volume":"165","author":"M. Habib","year":"1996","unstructured":"Habib, M., Nourine, L.: Tree structure for distributive lattices and its applications. Theoretical Computer Science\u00a0165, 391\u2013405 (1996)","journal-title":"Theoretical Computer Science"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Higuera-Toledano, T., Issarny, V.: Analyzing the performance of memory management in rtsj. In: Proceedings of the Fifth International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2002 (2002)","DOI":"10.1109\/ISORC.2002.1003657"},{"key":"17_CR13","volume-title":"PPoPP 1997 Workshop on Java for Science and Engineering Computation","author":"A. Krall","year":"1997","unstructured":"Krall, A., Grafl, R.: CACAO \u2013 a 64 bit JavaVM just-in-time compiler. In: Fox, G.C., Li, W. (eds.) PPoPP 1997 Workshop on Java for Science and Engineering Computation, Las Vegas. ACM, New York (1997)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/BFb0053377","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"A. Krall","year":"1997","unstructured":"Krall, A., Vitek, J., Nigel Horspool, R.: Near optimal hierarchical encoding of types. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 128\u2013145. Springer, Heidelberg (1997)"},{"key":"17_CR15","first-page":"53","volume":"16","author":"M.A. Schubert","year":"1983","unstructured":"Schubert, M.A., Papalaskaris, L.K., Taugher, J.: Determining type, part, colour, and time relationships. Computer (special issue on Knowledge Representation)\u00a016, 53\u201360 (1983)","journal-title":"Computer (special issue on Knowledge Representation)"},{"issue":"2","key":"17_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Tofte, M., Talpin, J.-P.: Region based memory management. Information & Computation\u00a0132(2), 109\u2013176 (1997)","journal-title":"Information & Computation"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Vitek, J., Krall, A., Nigel Horspool, R.: Efficient type inclusion tests. In: Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 1997 (October 1997)","DOI":"10.1145\/263698.263730"},{"issue":"2","key":"17_CR18","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1145\/42190.46167","volume":"10","author":"N. Wirth","year":"1988","unstructured":"Wirth, N.: Type extensions. ACM Transactions on Programming Languages and Systems\u00a010(2), 204\u2013214 (1988)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"17_CR19","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1145\/115372.214521","volume":"13","author":"N. Wirth","year":"1991","unstructured":"Wirth, N.: Reply to \u201ctype-extension type tests can be performed in constant time\u201d. ACM Transactions on Programming Languages and Systems\u00a013(4), 630 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Zibin, Y., Gil, J.: Efficient subtyping tests with PQ-Encoding. In: Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2001 (October 2001)","DOI":"10.1145\/504282.504290"},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/582419.582434","volume-title":"Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications (OOPSLA-2002), ACM SIGPLAN Notices","author":"Y. Zibin","year":"2002","unstructured":"Zibin, Y., Gil, J.Y.: Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching. In: Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications (OOPSLA-2002), ACM SIGPLAN Notices, vol.\u00a037(11), pp. 142\u2013160. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2003 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45070-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T04:16:04Z","timestamp":1559794564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45070-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405313","9783540450702"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45070-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}