{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:07Z","timestamp":1750221127513,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[1982,10,6]],"date-time":"1982-10-06T00:00:00Z","timestamp":402710400000},"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":[[1982,10,6]]},"DOI":"10.1145\/3304133.3304151","type":"proceedings-article","created":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T13:40:41Z","timestamp":1547127641000},"page":"120-128","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Testing the INRIA Ada formal definition"],"prefix":"10.1145","author":[{"given":"Vittal","family":"Kini","sequence":"first","affiliation":[{"name":"USC-Information Sciences Institute"}]},{"given":"David F.","family":"Martin","sequence":"additional","affiliation":[{"name":"USC-Information Sciences Institute"}]},{"given":"Allen","family":"Stoughton","sequence":"additional","affiliation":[{"name":"USC-Information Sciences Institute"}]}],"member":"320","published-online":{"date-parts":[[1982,10,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"United States Department of Defense","author":"Reference","year":"1980","unstructured":"Reference Manual for the Ada Programming Language (Proposed Standard Document) . United States Department of Defense , 1980 . Reference Manual for the Ada Programming Language (Proposed Standard Document). United States Department of Defense, 1980."},{"key":"e_1_3_2_1_2_1","volume-title":"Ada Compiler Validation Capability: Long Range Plan. Tech. Rept. 1067-1.1","author":"Goodenough John B","year":"1980","unstructured":"Goodenough , John B . and Kelly , John R. Ada Compiler Validation Capability: Long Range Plan. Tech. Rept. 1067-1.1 , Defense Advanced Research Projects Agency , Waltham, Massachusetts , February , 1980 . Goodenough, John B. and Kelly, John R. Ada Compiler Validation Capability: Long Range Plan. Tech. Rept. 1067-1.1, Defense Advanced Research Projects Agency, Waltham, Massachusetts, February, 1980."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/539925"},{"key":"e_1_3_2_1_4_1","volume-title":"Le Chesnay","author":"Donzeau-Gouge V.","year":"1980","unstructured":"Donzeau-Gouge , V. , et al.. Formal Definition of the Ada Programming Language (Preliminary Version for Public Review). INRIA , Le Chesnay , France , November 1980 . Donzeau-Gouge, V., et al.. Formal Definition of the Ada Programming Language (Preliminary Version for Public Review). INRIA, Le Chesnay, France, November 1980."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1981.230837"}],"event":{"name":"AdaTEC '82: Ada","acronym":"AdaTEC '82","location":"Arlington Virginia"},"container-title":["Proceedings of the AdaTEC Conference on Ada"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3304133.3304151","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3304133.3304151","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:20Z","timestamp":1750208540000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3304133.3304151"}},"subtitle":["the USC-ISI formal semantics project"],"short-title":[],"issued":{"date-parts":[[1982,10,6]]},"references-count":5,"alternative-id":["10.1145\/3304133.3304151","10.1145\/3304133"],"URL":"https:\/\/doi.org\/10.1145\/3304133.3304151","relation":{},"subject":[],"published":{"date-parts":[[1982,10,6]]},"assertion":[{"value":"1982-10-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}