{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:25Z","timestamp":1772163925503,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:00:00Z","timestamp":1131840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,11,13]]},"DOI":"10.1145\/1103846.1103853","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"41-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["The implementation of ada 2005 synchronized interfaces in the GNAT compiler"],"prefix":"10.1145","author":[{"given":"Javier","family":"Miranda","sequence":"first","affiliation":[{"name":"University of Las Palmas de Gran Canaria and AdaCore, Spain"}]},{"given":"Edmond","family":"Schonberg","sequence":"additional","affiliation":[{"name":"New York University, and AdaCore"}]},{"given":"Hristian","family":"Kirtchev","sequence":"additional","affiliation":[{"name":"AdaCore"}]}],"member":"320","published-online":{"date-parts":[[2005,11,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Annotated Ada Reference Manual with Technical Corrigendum 1 and Amendment 1 (Draft 13): Language Standard and Libraries. (Working Document on Ada","author":"Ada Rapporteour Group","year":"2005","unstructured":"Ada Rapporteour Group . Annotated Ada Reference Manual with Technical Corrigendum 1 and Amendment 1 (Draft 13): Language Standard and Libraries. (Working Document on Ada 2005 ). Ada Rapporteour Group. Annotated Ada Reference Manual with Technical Corrigendum 1 and Amendment 1 (Draft 13): Language Standard and Libraries. (Working Document on Ada 2005)."},{"key":"e_1_3_2_1_2_1","first-page":"1995","volume":"8652","author":"Taft S.","year":"2000","unstructured":"S. Taft , R. A. Duff , and R. L. Brukardt and E. Ploedereder (Eds). Consolidated Ada Reference Manual with Technical Corrigendum 1. Language Standard and Libraries. ISO\/IEC 8652 : 1995 (E). Springer Verlag, 2000 . ISBN: 3-540-43038-5. S. Taft, R. A. Duff, and R. L. Brukardt and E. Ploedereder (Eds). Consolidated Ada Reference Manual with Technical Corrigendum 1. Language Standard and Libraries. ISO\/IEC 8652:1995(E). Springer Verlag, 2000. ISBN: 3-540-43038-5.","journal-title":"Language Standard and Libraries. ISO\/IEC"},{"key":"e_1_3_2_1_3_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"2005","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . The Java Language Specification ( 3 rd edition). Addison-Wesley , 2005 . ISBN: 0-321-24678-0. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification (3rd edition). Addison-Wesley, 2005. ISBN: 0-321-24678-0.","edition":"3"},{"key":"e_1_3_2_1_4_1","volume-title":"E. International. C# Language Specification","year":"2002","unstructured":"E. International. C# Language Specification ( 2 nd edition). Standard ECMA-334. Standardizing Information and Communication Systems , December , 2002 . E. International. C# Language Specification (2nd edition). Standard ECMA-334. Standardizing Information and Communication Systems, December, 2002.","edition":"2"},{"key":"e_1_3_2_1_5_1","first-page":"1998","volume":"14882","author":"Programming IEC.","year":"1998","unstructured":"ISO\/ IEC. Programming Languages: C++ (1st edition). ISO\/IEC 14882 : 1998 (E). 1998 . ISO\/IEC. Programming Languages: C++ (1st edition). ISO\/IEC 14882:1998(E). 1998.","journal-title":"ISO\/IEC"},{"key":"e_1_3_2_1_6_1","unstructured":"Ada Rapporteour Group. Abstract Interfaces to Provide Multiple Inheritance. Ada Issue 251. Available at http:\/\/www.ada-auth.org\/cgi-bin\/ cvsweb.cgi\/AIs\/AI-00251.TXT.  Ada Rapporteour Group. Abstract Interfaces to Provide Multiple Inheritance. Ada Issue 251. Available at http:\/\/www.ada-auth.org\/cgi-bin\/ cvsweb.cgi\/AIs\/AI-00251.TXT."},{"key":"e_1_3_2_1_7_1","unstructured":"Ada Rapporteour Group. Object.Operation Notation. Ada Issue 252 Available at http:\/\/www.ada-auth.org\/ cgi-bin\/cvsweb.cgi\/AIs\/AI-00252.TXT.  Ada Rapporteour Group. Object.Operation Notation. Ada Issue 252 Available at http:\/\/www.ada-auth.org\/ cgi-bin\/cvsweb.cgi\/AIs\/AI-00252.TXT."},{"key":"e_1_3_2_1_8_1","unstructured":"Ada Rapporteour Group. Protected and Task Interfaces. Ada Issue 345 Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/ AIs\/AI-00345.TXT.  Ada Rapporteour Group. Protected and Task Interfaces. Ada Issue 345 Available at http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/ AIs\/AI-00345.TXT."},{"key":"e_1_3_2_1_9_1","unstructured":"Ada Rapporteour Group. Null Procedures. Ada Issue 348 Available at http:\/\/www.ada-auth.org\/cgi-bin\/ cvsweb.cgi\/AIs\/AI-00348.TXT.  Ada Rapporteour Group. Null Procedures. Ada Issue 348 Available at http:\/\/www.ada-auth.org\/cgi-bin\/ cvsweb.cgi\/AIs\/AI-00348.TXT."},{"key":"e_1_3_2_1_10_1","unstructured":"Ada Rapporteour Group. Single Task and Protected Objects Implementing Interfaces. Ada Issue 399. Available at http:\/\/www.ada-auth.org\/cgi-bin\/ cvsweb.cgi\/AIs\/AI-00399.TXT.  Ada Rapporteour Group. Single Task and Protected Objects Implementing Interfaces. Ada Issue 399. Available at http:\/\/www.ada-auth.org\/cgi-bin\/ cvsweb.cgi\/AIs\/AI-00399.TXT."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1032297.1032307"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11499909_17"},{"key":"e_1_3_2_1_13_1","volume-title":"A Detailed Description of the GNU Ada Run-Time. Free book","author":"Miranda J.","year":"2002","unstructured":"J. Miranda . A Detailed Description of the GNU Ada Run-Time. Free book available at http:\/\/www.iuma. ulpgc.es\/users\/jmiranda\/gnat-rts\/index.htm, 2002 . J. Miranda. A Detailed Description of the GNU Ada Run-Time. Free book available at http:\/\/www.iuma. ulpgc.es\/users\/jmiranda\/gnat-rts\/index.htm, 2002."},{"key":"e_1_3_2_1_14_1","unstructured":"Free Software Foundation. GNAT Sources Repository. http:\/\/www.gnu.org\/software\/gnat\/gnat.html  Free Software Foundation. GNAT Sources Repository. http:\/\/www.gnu.org\/software\/gnat\/gnat.html"},{"key":"e_1_3_2_1_15_1","unstructured":"AdaCore. GNAT Academic Program. http:\/\/www.adacore.com\/academic_overview.php  AdaCore. GNAT Academic Program. http:\/\/www.adacore.com\/academic_overview.php"}],"event":{"name":"SIGAda '05: ACM SIGAda Annual International Conference","location":"Atlanta GA USA","acronym":"SIGAda '05","sponsor":["ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103853","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1103846.1103853","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:48:54Z","timestamp":1750272534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103853"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,13]]},"references-count":15,"alternative-id":["10.1145\/1103846.1103853","10.1145\/1103846"],"URL":"https:\/\/doi.org\/10.1145\/1103846.1103853","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1104011.1103853","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,11,13]]},"assertion":[{"value":"2005-11-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}