{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:43Z","timestamp":1772164003001,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":7,"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.1647441","type":"proceedings-article","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T13:36:45Z","timestamp":1257860205000},"page":"87-90","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Use of SPARK in a resource constrained embedded system"],"prefix":"10.1145","author":[{"given":"Chad","family":"Loseby","sequence":"first","affiliation":[{"name":"Vermont Technical College, Randolph Center, VT, USA"}]},{"given":"Peter","family":"Chapin","sequence":"additional","affiliation":[{"name":"Vermont Technical College, Randolph Center, VT, USA"}]},{"given":"Carl","family":"Brandon","sequence":"additional","affiliation":[{"name":"Vermont Technical College, Randolph Center, VT, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Crossworks for MSP430. http:\/\/www.rowley.co.uk\/msp430\/.  Crossworks for MSP430. http:\/\/www.rowley.co.uk\/msp430\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Cubesat kit home. http:\/\/www.cubesatkit.com\/.  Cubesat kit home. http:\/\/www.cubesatkit.com\/."},{"key":"e_1_3_2_1_3_1","unstructured":"GCC toolchain for MSP430. http:\/\/mspgcc.sourceforge.net\/.  GCC toolchain for MSP430. http:\/\/mspgcc.sourceforge.net\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Sofcheck compiler technology. http:\/\/www.sofcheck.com\/products\/adamagic.html.  Sofcheck compiler technology. http:\/\/www.sofcheck.com\/products\/adamagic.html."},{"key":"e_1_3_2_1_5_1","unstructured":"U.S. army cold regions research and engineering laboratory (CRREL). http:\/\/www.crrel.usace.army.mil\/.  U.S. army cold regions research and engineering laboratory (CRREL). http:\/\/www.crrel.usace.army.mil\/."},{"issue":"3","key":"e_1_3_2_1_6_1","volume":"29","author":"Brandon C. S.","year":"2008","unstructured":"C. S. Brandon . Use of ada in a student cubesat project. Ada User Journal , 29 ( 3 ), 2008 . C. S. Brandon. Use of ada in a student cubesat project. Ada User Journal, 29(3), 2008.","journal-title":"Ada User Journal"},{"key":"e_1_3_2_1_7_1","volume-title":"Advances in Geosciences","author":"Yu J.","year":"2005","unstructured":"J. Yu , A. K. Liu , and Y. Zhao . Advances in Geosciences 2005 , chapter Sea Ice Motion and Deformation in the Marginal Ice Zone Through SAR. World Scientific Publishing Company , 2005. J. Yu, A. K. Liu, and Y. Zhao. Advances in Geosciences 2005, chapter Sea Ice Motion and Deformation in the Marginal Ice Zone Through SAR. World Scientific Publishing Company, 2005."}],"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.1647441","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1647420.1647441","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.1647441"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":7,"alternative-id":["10.1145\/1647420.1647441","10.1145\/1647420"],"URL":"https:\/\/doi.org\/10.1145\/1647420.1647441","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1653616.1647441","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"}}]}}