{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:23Z","timestamp":1772164043580,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,12,2]],"date-time":"2012-12-02T00:00:00Z","timestamp":1354406400000},"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":[[2012,12,2]]},"DOI":"10.1145\/2402676.2402692","type":"proceedings-article","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T12:08:34Z","timestamp":1354190914000},"page":"35-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Implementation of a simple dimensionality checking system in Ada 2012"],"prefix":"10.1145","author":[{"given":"Edmond","family":"Schonberg","sequence":"first","affiliation":[{"name":"Adacore, Inc, New York City, NY, USA"}]},{"given":"Vincent","family":"Pucci","sequence":"additional","affiliation":[{"name":"Adacore, Inc & Telecom Bretagne, New York City, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,12,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A survey of Physical Units Handling Techniques in Ada. Ada-Europe","author":"Grein C.","year":"2003","unstructured":"C. Grein , D.A Kazakov , and Fraser Wilson : A survey of Physical Units Handling Techniques in Ada. Ada-Europe 2003 , LNCS Vol. 2655, p.258--270. Springer , Heidelberg (2003) C. Grein, D.A Kazakov, and Fraser Wilson: A survey of Physical Units Handling Techniques in Ada. Ada-Europe 2003, LNCS Vol. 2655, p.258--270. Springer, Heidelberg (2003)"},{"key":"e_1_3_2_1_2_1","volume-title":"http:\/\/www.ada- auth.org\/standards\/12rm\/html\/RM-13--3--1.html","author":"Manual Ada Reference","year":"2011","unstructured":"Ada Reference Manual , 13.3.1 Aspect Specifications . ( 2011 ) http:\/\/www.ada- auth.org\/standards\/12rm\/html\/RM-13--3--1.html Ada Reference Manual, 13.3.1 Aspect Specifications. (2011) http:\/\/www.ada- auth.org\/standards\/12rm\/html\/RM-13--3--1.html"},{"key":"e_1_3_2_1_3_1","volume-title":"Handling Physical Dimensions in Ada. (28","author":"Grein C.","year":"2008","unstructured":"C. Grein : Handling Physical Dimensions in Ada. (28 April 2008 ) http:\/\/www.christ-usch-grein.homepage.t- online.de\/Ada\/Dimension.html C.Grein: Handling Physical Dimensions in Ada. (28 April 2008) http:\/\/www.christ-usch-grein.homepage.t- online.de\/Ada\/Dimension.html"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42346"},{"key":"e_1_3_2_1_5_1","unstructured":"Microsoft Developer Network Units of Measure (F#). (May 2010) http:\/\/msdn.microsoft.com\/en-us\/library\/dd233243.aspx  Microsoft Developer Network Units of Measure (F#). (May 2010) http:\/\/msdn.microsoft.com\/en-us\/library\/dd233243.aspx"}],"event":{"name":"HILT'12: ACM SIGAda Annual","location":"Boston Massachusetts USA","acronym":"HILT'12","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 2012 ACM conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2402676.2402692","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2402676.2402692","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:12Z","timestamp":1750225692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2402676.2402692"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,2]]},"references-count":5,"alternative-id":["10.1145\/2402676.2402692","10.1145\/2402676"],"URL":"https:\/\/doi.org\/10.1145\/2402676.2402692","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2402709.2402692","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,12,2]]},"assertion":[{"value":"2012-12-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}