{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:23Z","timestamp":1772163983971,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T00:00:00Z","timestamp":1287878400000},"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":[[2010,10,24]]},"DOI":"10.1145\/1879063.1879073","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T10:01:31Z","timestamp":1289296891000},"page":"23-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A methodology for avoiding known compiler problems using static analysis"],"prefix":"10.1145","author":[{"given":"Mamdouh","family":"Jemli","sequence":"first","affiliation":[{"name":"Ansaldo-STS France, Les Ulis, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Rosen","sequence":"additional","affiliation":[{"name":"Adalog, Arcueil, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,10,24]]},"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":"EN-50128:2001. Railway applications. Communications signalling and processing systems. Software for railway control and protection systems. ISBN 058037584 6  EN-50128:2001. Railway applications. Communications signalling and processing systems. Software for railway control and protection systems. ISBN 058037584 6"},{"key":"e_1_3_2_1_3_1","unstructured":"AdaControl web site http:\/\/www.adalog.fr\/adacontrol2.htm  AdaControl web site http:\/\/www.adalog.fr\/adacontrol2.htm"},{"key":"e_1_3_2_1_4_1","volume-title":"Ada User Journal","volume":"26","author":"On","year":"2005"}],"event":{"name":"SIGAda '10: ACM SIGAda Annual International Conference","location":"Fairfax Virginia USA","acronym":"SIGAda '10","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","Ada Europe Ada Europe","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 SIGAda"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879063.1879073","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1879063.1879073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:09:05Z","timestamp":1750234145000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879063.1879073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,24]]},"references-count":4,"alternative-id":["10.1145\/1879063.1879073","10.1145\/1879063"],"URL":"https:\/\/doi.org\/10.1145\/1879063.1879073","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1879097.1879073","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,10,24]]},"assertion":[{"value":"2010-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}