{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:15Z","timestamp":1772163975541,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,6,14]],"date-time":"2006-06-14T00:00:00Z","timestamp":1150243200000},"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":[[2006,6,14]]},"DOI":"10.1145\/1134650.1134657","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"34-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Deriving abstract transfer functions for analyzing embedded software"],"prefix":"10.1145","author":[{"given":"John","family":"Regehr","sequence":"first","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Usit","family":"Duongsaa","sequence":"additional","affiliation":[{"name":"Microsoft"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Atmel Corp. Atmel AVR 8-bit RISC family. http:\/\/www.atmel.com\/products\/avr.]]  Atmel Corp. Atmel AVR 8-bit RISC family. http:\/\/www.atmel.com\/products\/avr.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/997163.997194"},{"key":"e_1_3_2_1_4_1","volume-title":"August","author":"Engblom Jakob","year":"2003","unstructured":"Jakob Engblom , Andreas Ermedahl , Mikael Nolin , Jan Gustafsson , and Hans Hansson . Worst-case execution-time analysis for embedded real-time systems. Journal of Software Tool and Transfer Technology (STTT), 4(4):437--455 , August 2003 .]] Jakob Engblom, Andreas Ermedahl, Mikael Nolin, Jan Gustafsson, and Hans Hansson. Worst-case execution-time analysis for embedded real-time systems. Journal of Software Tool and Transfer Technology (STTT), 4(4):437--455, August 2003.]]"},{"key":"e_1_3_2_1_5_1","first-page":"290","volume-title":"Proc. of the 11th Intl. Workshop on Languages and Compilers for Parallel Computing","author":"Randall","year":"1998","unstructured":"Randall J. Fisher and Henry G. Dietz. Compiling for SIMD within a register . In Proc. of the 11th Intl. Workshop on Languages and Compilers for Parallel Computing , pages 290 -- 304 , Chapel Hill, NC , 1998 .]] Randall J. Fisher and Henry G. Dietz. Compiling for SIMD within a register. In Proc. of the 11th Intl. Workshop on Languages and Compilers for Parallel Computing, pages 290--304, Chapel Hill, NC, 1998.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/10930755_2"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of the 19th Australian Computer Science Conf.","author":"John","year":"1996","unstructured":"John K. Gough and Herbert Klaeren. Eliminating range checks using static single assignment form . In Proc. of the 19th Australian Computer Science Conf. , Melbourne, Australia , January 1996 .]] John K. Gough and Herbert Klaeren. Eliminating range checks using static single assignment form. In Proc. of the 19th Australian Computer Science Conf., Melbourne, Australia, January 1996.]]"},{"key":"e_1_3_2_1_8_1","unstructured":"ARM Ltd. ARM7 32-bit RISC Family. http:\/\/www.arm.com\/products\/CPUs\/families\/ARM7Family.html.]]  ARM Ltd. ARM7 32-bit RISC Family. http:\/\/www.arm.com\/products\/CPUs\/families\/ARM7Family.html.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008138407139"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646905.710481"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/192724.192749"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024410"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_20"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.758051"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of the 4th Intl. Workshop on Compiler Optimization Meets Compiler Verification","author":"Rice Erika","year":"2005","unstructured":"Erika Rice , Sorin Lerner , and Craig Chambers . Automatically inferring sound dataflow functions from dataflow fact schemas . In Proc. of the 4th Intl. Workshop on Compiler Optimization Meets Compiler Verification , Edinburgh, UK , April 2005 .]] Erika Rice, Sorin Lerner, and Craig Chambers. Automatically inferring sound dataflow functions from dataflow fact schemas. In Proc. of the 4th Intl. Workshop on Compiler Optimization Meets Compiler Verification, Edinburgh, UK, April 2005.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349317"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1147685.1147768"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_39"}],"event":{"name":"LCTES06: Languages, Compilers, and Tools for Embedded Systems 2006","location":"Ottawa Ontario Canada","acronym":"LCTES06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 2006 ACM SIGPLAN\/SIGBED conference on Language, compilers, and tool support for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134650.1134657","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1134650.1134657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:22:46Z","timestamp":1750263766000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134650.1134657"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,14]]},"references-count":19,"alternative-id":["10.1145\/1134650.1134657","10.1145\/1134650"],"URL":"https:\/\/doi.org\/10.1145\/1134650.1134657","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1159974.1134657","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,6,14]]},"assertion":[{"value":"2006-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}