{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:39Z","timestamp":1772163999911,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,11,4]],"date-time":"2007-11-04T00:00:00Z","timestamp":1194134400000},"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":[[2007,11,4]]},"DOI":"10.1145\/1315580.1315591","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"11-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Using mathematics to improve ada compiled code, part 2"],"prefix":"10.1145","author":[{"given":"Ward D.","family":"Maurer","sequence":"first","affiliation":[{"name":"The George Washington University, Washington, DC"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Benjamin\/Cummings","author":"Fischer C. N.","year":"1988","unstructured":"Fischer , C. N. , and LeBlanc , R. J. Crafting a Compiler . Benjamin\/Cummings , Menlo Park, CA , 1988 . Fischer, C. N. , and LeBlanc, R. J. Crafting a Compiler. Benjamin\/Cummings, Menlo Park, CA, 1988."},{"key":"e_1_3_2_1_2_1","volume-title":"Programming Language Concepts (2d ed. )","author":"Ghezzi C.","year":"1987","unstructured":"Ghezzi , C. , and Jazayeri , M . Programming Language Concepts (2d ed. ) . Wiley , New York , 1987 . Ghezzi, C. , and Jazayeri, M. Programming Language Concepts (2d ed. ). Wiley, New York, 1987."},{"key":"e_1_3_2_1_3_1","volume-title":"Fundamentals of Data Structures","author":"Horowitz E.","year":"1983","unstructured":"Horowitz , E. , and Sahni , S . Fundamentals of Data Structures . Computer Science Press , Rockville, MD , 1983 . Horowitz, E. , and Sahni, S. Fundamentals of Data Structures. Computer Science Press, Rockville, MD, 1983."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767077_16"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.66"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.002"},{"key":"e_1_3_2_1_8_1","volume-title":"Programming Language Design and Implementation (2d ed. )","author":"Pratt T. W.","year":"1984","unstructured":"Pratt , T. W. Programming Language Design and Implementation (2d ed. ) . Prentice-Hall , Englewood Cliffs, NJ , 1984 . Pratt, T. W. Programming Language Design and Implementation (2d ed. ). Prentice-Hall, Englewood Cliffs, NJ, 1984."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234183"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(81)90008-0"}],"event":{"name":"SIGAda '07: ACM SIGAda Annual International Conference","location":"Fairfax Virginia USA","acronym":"SIGAda '07","sponsor":["ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2007 ACM international conference on SIGAda annual international conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1315580.1315591","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1315580.1315591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:21Z","timestamp":1750244301000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1315580.1315591"}},"subtitle":["the proof"],"short-title":[],"issued":{"date-parts":[[2007,11,4]]},"references-count":9,"alternative-id":["10.1145\/1315580.1315591","10.1145\/1315580"],"URL":"https:\/\/doi.org\/10.1145\/1315580.1315591","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1315607.1315591","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,11,4]]},"assertion":[{"value":"2007-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}