{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:51:42Z","timestamp":1725573102458},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262862"},{"type":"electronic","value":"9783540316664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499909_17","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T16:56:28Z","timestamp":1292864188000},"page":"208-219","source":"Crossref","is-referenced-by-count":3,"title":["The Implementation of Ada 2005 Interface Types in the GNAT Compiler"],"prefix":"10.1007","author":[{"given":"Javier","family":"Miranda","sequence":"first","affiliation":[]},{"given":"Edmond","family":"Schonberg","sequence":"additional","affiliation":[]},{"given":"Gary","family":"Dismukes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Ada Rapporteur Group (ARG). Abstract interfaces to provide multiple inheritance. Ada Issue 251, http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00251.TXT","key":"17_CR1"},{"unstructured":"Ada Rapporteur Group (ARG). Null procedures. Ada (348), http:\/\/www.adaauth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00348.TXT","key":"17_CR2"},{"key":"17_CR3","volume-title":"Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2001)","author":"B. Alpern","year":"2001","unstructured":"Alpern, B., Cocchi, A., Fink, S., Grove, D., Lieber, D.: Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. In: Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2001). ACM Press, New York (2001), http:\/\/www.research.ibm.com\/jalapeno\/publication.html"},{"unstructured":"CodeSourcery, Compaq, EDG, HP, IBM, Intel, Red Hat, and SGI. Itanium C++ ABI. Technical Report Revision 1.75 (2004), http:\/\/www.codesourcery.com.prev\/cxx-abi","key":"17_CR4"},{"unstructured":"Driesen, K.: Software and Hardware Techniques for Efficient Polymorphic Calls. University of California, Santa Barbara (PhD Dissertation), TRCS99-24 (June 1999)","key":"17_CR5"},{"key":"17_CR6","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"unstructured":"Intermetrics Inc and the MITRE Corporation. Annotated Ada Reference Manual with Technical Corrigendum 1. Language Standard and Libraries. ISO\/IEC 8652:1995(E) (2000), http:\/\/www.ada-auth.org\/arm-files\/AARM.PDF","key":"17_CR7"},{"unstructured":"ECMA International. C# Language Specification\u2014 Standard ECMA-334 (2nd edn.). Standardizing Information and Communication Systems (December 2002)","key":"17_CR8"},{"unstructured":"Sun MicroSystems. Java 2 Platform, Standard Edition, J2SE 5.0 (2004), Available at http:\/\/java.sun.com\/j2se\/","key":"17_CR9"},{"doi-asserted-by":"crossref","unstructured":"Miranda, J., Schonberg, E.: GNAT: On the Road to Ada 2005. In: ACM SigAda 2004 (November 2004)","key":"17_CR10","DOI":"10.1145\/1032297.1032307"},{"doi-asserted-by":"crossref","unstructured":"Palacz, K., Vitek, J.: Java Subtype Tests in Real-Time. In: Proceedings of the European Conference on Object-Oriented Programming (2003), http:\/\/citeseer.ist.psu.edu\/660723.html","key":"17_CR11","DOI":"10.1007\/978-3-540-45070-2_17"},{"key":"17_CR12","volume-title":"Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1997)","author":"J. Vitek","year":"1997","unstructured":"Vitek, J., Horspoo, R.N., Krall, A.: Efficient Type Inclusion Tests. In: Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1997). ACM Press, New York (1997), http:\/\/citeseer.ist.psu.edu\/vitek97efficient.html"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technology \u2013 Ada-Europe 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499909_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:01Z","timestamp":1605643321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499909_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262862","9783540316664"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11499909_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}