{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:01Z","timestamp":1750307701355,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,10,19]],"date-time":"2008-10-19T00:00:00Z","timestamp":1224374400000},"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":[[2008,10,19]]},"DOI":"10.1145\/1449913.1449926","type":"proceedings-article","created":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T12:25:44Z","timestamp":1224678344000},"page":"77-88","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Generating customized verifiers for automatically generated code"],"prefix":"10.1145","author":[{"given":"Ewen","family":"Denney","sequence":"first","affiliation":[{"name":"NASA Ames, Moffett Field, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Fischer","sequence":"additional","affiliation":[{"name":"University of Southampton, Southampton, England UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"www.mathworks.com\/products\/rtw\/.  www.mathworks.com\/products\/rtw\/."},{"key":"e_1_3_2_1_2_1","unstructured":"www.mathworks.com\/products\/polyspace\/.  www.mathworks.com\/products\/polyspace\/."},{"key":"e_1_3_2_1_3_1","unstructured":"XML Path Language (XPath) Version 1.0 1999. www.w3.org\/TR\/xpath.  XML Path Language (XPath) Version 1.0 1999. www.w3.org\/TR\/xpath."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321664"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_22"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"e_1_3_2_1_8_1","first-page":"894","volume-title":"FM'03, LNCS 2805","author":"Denney E.","year":"2003"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173725"},{"key":"e_1_3_2_1_11_1","first-page":"158","article-title":"Inference rules for program annotation","author":"Dershowitz N.","year":"1978","journal-title":"ICSE-3"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004562"},{"key":"e_1_3_2_1_14_1","first-page":"500","volume-title":"FME'01","author":"Flanagan C.","year":"2021"},{"key":"e_1_3_2_1_16_1","first-page":"52","volume-title":"Proc. IJCAR'06 Workshop Verify'06","author":"Kov\u00e1cs L.","year":"2006"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_10"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872552"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1218563.1218571"},{"volume-title":"First Workshop on Runtime Verification, Elec. Notes in Theoretical Computer Science, 55(2). Elsevier","year":"2001","author":"Nimmer J. W.","key":"e_1_3_2_1_20_1"},{"issue":"2","key":"e_1_3_2_1_21_1","first-page":"111","volume":"15","author":"Schulz S.","year":"2002","journal-title":"J. AI Communications"},{"key":"e_1_3_2_1_22_1","first-page":"341","volume-title":"FLAIRS'99","author":"Sutcliffe G.","year":"1999"},{"key":"e_1_3_2_1_23_1","unstructured":"D. A. Vallado. Fundamentals of Astrodynamics and Applications. Space Technology Library. Microcosm Press and Kluwer Academic Publishers second edition 2001.  D. A. Vallado. Fundamentals of Astrodynamics and Applications. Space Technology Library. Microcosm Press and Kluwer Academic Publishers second edition 2001."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/360827.360850"},{"key":"e_1_3_2_1_25_1","first-page":"275","article-title":"SPASS Version 2.0. In Proc. 18th CADE","volume":"2392","author":"Weidenbach C.","year":"2002","journal-title":"LNAI"},{"key":"e_1_3_2_1_26_1","first-page":"431","volume-title":"FME'02, LNCS 2391","author":"Whalen M.","year":"2002"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1039813.1039816"}],"event":{"name":"GPCE '08: Generative Programming and Component Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Nashville TN USA","acronym":"GPCE '08"},"container-title":["Proceedings of the 7th international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1449913.1449926","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1449913.1449926","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:01Z","timestamp":1750253401000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1449913.1449926"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,19]]},"references-count":25,"alternative-id":["10.1145\/1449913.1449926","10.1145\/1449913"],"URL":"https:\/\/doi.org\/10.1145\/1449913.1449926","relation":{},"subject":[],"published":{"date-parts":[[2008,10,19]]},"assertion":[{"value":"2008-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}