{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:24Z","timestamp":1772163924583,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"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.1134670","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"135-144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Generating optimized code from SCR specifications"],"prefix":"10.1145","author":[{"given":"Tom","family":"Rothamel","sequence":"first","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanhong A.","family":"Liu","sequence":"additional","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Constance L.","family":"Heitmeyer","sequence":"additional","affiliation":[{"name":"Naval Research Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elizabeth I.","family":"Leonard","sequence":"additional","affiliation":[{"name":"Naval Research Laboratory"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/780731.780756"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018913028597"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. Monterey Workshop on Software Engineering Tools: Compatibility and Integration","author":"Archer M.","year":"2004","unstructured":"M. Archer . Basing a modeling environment on a general purpose theorem prover . In Proc. Monterey Workshop on Software Engineering Tools: Compatibility and Integration , Baden, Austria , October 4-6 2004 .]] M. Archer. Basing a modeling environment on a general purpose theorem prover. In Proc. Monterey Workshop on Software Engineering Tools: Compatibility and Integration, Baden, Austria, October 4-6 2004.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646484.691774"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.663994"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.980257"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. 9th Annual Conf. on Computer Assurance (COMPASS '94)","author":"Faulk S. R.","year":"1994","unstructured":"S. R. Faulk , L. Finneran , J. Kirby , Jr., S. Shah , and J. Sutton . Experience applying the CoRE method to the Lockheed C-130J . In Proc. 9th Annual Conf. on Computer Assurance (COMPASS '94) , Gaithersburg, MD , June 1994 .]] S. R. Faulk, L. Finneran, J. Kirby, Jr., S. Shah, and J. Sutton. Experience applying the CoRE method to the Lockheed C-130J. In Proc. 9th Annual Conf. on Computer Assurance (COMPASS '94), Gaithersburg, MD, June 1994.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"VERIMAG","author":"Gaucher F.","year":"2003","unstructured":"F. Gaucher . Slicing LUSTRE programs. Technical report , VERIMAG , Grenoble , February 2003 .]] F. Gaucher. Slicing LUSTRE programs. Technical report, VERIMAG, Grenoble, February 2003.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54444-5_100"},{"issue":"1","key":"e_1_3_2_1_10_1","first-page":"19","article-title":"Tools for constructing requirements specifications: The SCR toolset at the age of ten","volume":"20","author":"Heitmeyer C.","year":"2005","unstructured":"C. Heitmeyer , M. Archer , R. Bharadwaj , and R. Jeffords . Tools for constructing requirements specifications: The SCR toolset at the age of ten . International Journal of Computer Systems Science and Engineering , 20 ( 1 ): 19 -- 35 , Jan. 2005 .]] C. Heitmeyer, M. Archer, R. Bharadwaj, and R. Jeffords. Tools for constructing requirements specifications: The SCR toolset at the age of ten. International Journal of Computer Systems Science and Engineering, 20(1):19--35, Jan. 2005.]]","journal-title":"International Journal of Computer Systems Science and Engineering"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730543"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647767.733627"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288218"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459821"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/882477.883636"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/784590.784713"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2003.1238036"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49674-2_9"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023072104553"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298856"},{"key":"e_1_3_2_1_23_1","volume-title":"Assessment of safety-critical software in nuclear power plants. Nuclear Safety, 32(2)","author":"Parnas D. L.","year":"1991","unstructured":"D. L. Parnas , G. Asmis , and J. Madey . Assessment of safety-critical software in nuclear power plants. Nuclear Safety, 32(2) , 1991 .]] D. L. Parnas, G. Asmis, and J. Madey. Assessment of safety-critical software in nuclear power plants. Nuclear Safety, 32(2), 1991.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158710"},{"key":"e_1_3_2_1_25_1","first-page":"409","volume-title":"Selected Papers from the International Seminar on Partial Evaluation","author":"Reps T. W.","year":"1996","unstructured":"T. W. Reps and T. Turnidge . Program specialization via program slicing . In Selected Papers from the International Seminar on Partial Evaluation , pages 409 -- 429 , London, UK , 1996 . Springer-Verlag .]] T. W. Reps and T. Turnidge. Program specialization via program slicing. In Selected Papers from the International Seminar on Partial Evaluation, pages 409--429, London, UK, 1996. Springer-Verlag.]]"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025126.1025944"},{"key":"e_1_3_2_1_27_1","volume-title":"Technical report","author":"Tip F.","year":"1994","unstructured":"F. Tip . A survey of program slicing techniques. Technical report , Amsterdam, The Netherlands, The Netherlands , 1994 .]] F. Tip. A survey of program slicing techniques. Technical report, Amsterdam, The Netherlands, The Netherlands, 1994.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337615"}],"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.1134670","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1134650.1134670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:22:47Z","timestamp":1750263767000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134650.1134670"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,14]]},"references-count":27,"alternative-id":["10.1145\/1134650.1134670","10.1145\/1134650"],"URL":"https:\/\/doi.org\/10.1145\/1134650.1134670","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1159974.1134670","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"}}]}}