{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:05Z","timestamp":1772164025230,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,11,1]],"date-time":"2009-11-01T00:00:00Z","timestamp":1257033600000},"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":[[2009,11]]},"DOI":"10.1145\/1647420.1647442","type":"proceedings-article","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T13:36:45Z","timestamp":1257860205000},"page":"91-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A robotics API dialect for type-safe robots"],"prefix":"10.1145","author":[{"given":"Alexander S.","family":"Mentis","sequence":"first","affiliation":[{"name":"United States Military Academy, West Point, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/myro.roboteducation.org\/pipermail\/myro-users\/2008-October\/000405.html accessed","author":"Axelrod B.","year":"2009","unstructured":"Axelrod , B. 2008. { Myro -users} msrs images (Ben Axelrod). http:\/\/myro.roboteducation.org\/pipermail\/myro-users\/2008-October\/000405.html accessed 22 June 2009 . Axelrod, B. 2008. {Myro-users} msrs images (Ben Axelrod). http:\/\/myro.roboteducation.org\/pipermail\/myro-users\/2008-October\/000405.html accessed 22 June 2009."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2008.29"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/611892.611996"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the ASEE Annual Conference and Exposition","author":"Mentis A.","year":"2009","unstructured":"Mentis , A. , Reynolds , C. , Abbott-McCune , D. , and Ring , B . 2009. Cementing abstraction with a concrete application: a focused use of robotics in CS1 . In Proceedings of the ASEE Annual Conference and Exposition ( Austin, TX, June 14 - 17 , 2009 ). ASEE. Washington, D.C. http:\/\/soa.asee.org\/paper\/conference\/paper-view.cfm?id=10527 Mentis, A., Reynolds, C., Abbott-McCune, D., and Ring, B. 2009. Cementing abstraction with a concrete application: a focused use of robotics in CS1. In Proceedings of the ASEE Annual Conference and Exposition (Austin, TX, June 14 - 17, 2009). ASEE. Washington, D.C. http:\/\/soa.asee.org\/paper\/conference\/paper-view.cfm?id=10527"}],"event":{"name":"SIGAda '09: ACM SIGAda Annual International Conference","location":"Saint Petersburg Florida USA","acronym":"SIGAda '09","sponsor":["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","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the ACM SIGAda annual international conference on Ada and related technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1647420.1647442","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1647420.1647442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:41:05Z","timestamp":1750236065000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1647420.1647442"}},"subtitle":["translating Myro to Ada"],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":4,"alternative-id":["10.1145\/1647420.1647442","10.1145\/1647420"],"URL":"https:\/\/doi.org\/10.1145\/1647420.1647442","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1653616.1647442","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,11]]},"assertion":[{"value":"2009-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}