{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:40Z","timestamp":1772164000470,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":2,"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.1647448","type":"proceedings-article","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T13:36:45Z","timestamp":1257860205000},"page":"127-132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The new semantic model in ASIS for Ada 2005"],"prefix":"10.1145","author":[{"given":"Jean-Pierre","family":"Rosen","sequence":"first","affiliation":[{"name":"Adalog, Paris, France"}]},{"given":"Tucker","family":"Taft","sequence":"additional","affiliation":[{"name":"SofCheck, Burlington, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ISO\/IEC 15291:1999. Information technology - Programming languages - Ada Semantic Interface Specification (ASIS)  ISO\/IEC 15291:1999. Information technology - Programming languages - Ada Semantic Interface Specification (ASIS)"},{"key":"e_1_3_2_1_2_1","unstructured":"AI05-0069 available at http:\/\/www.ada-auth.org\/AI05-SUMMARY.HTML  AI05-0069 available at http:\/\/www.ada-auth.org\/AI05-SUMMARY.HTML"}],"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.1647448","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1647420.1647448","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.1647448"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":2,"alternative-id":["10.1145\/1647420.1647448","10.1145\/1647420"],"URL":"https:\/\/doi.org\/10.1145\/1647420.1647448","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1653616.1647448","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"}}]}}