{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T13:10:29Z","timestamp":1740316229083,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212973"},{"type":"electronic","value":"9783540247234"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24723-4_1","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:14:24Z","timestamp":1280276064000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Developing a Foundation for Code Optimization"],"prefix":"10.1007","author":[{"given":"Mary Lou","family":"Soffa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Lacey, E., Jones, N.D., Eric Van Wyk, E., Christian Frederiksen, C.: Proving Correctness of Compiler Optimizations by Temporal Logic. In: Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, pp. 283\u2013294 (2002)","DOI":"10.1145\/565816.503299"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Lerner, S., Millstein, T., Chambers, C.: Automatically Proving the Correctness of Compiler Optimizations. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 1\u201319 (2003)","DOI":"10.1145\/781154.781156"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Translation Validation for an Optimizing Compiler. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver, British Columbia, Canada, pp. 83\u201394 (2000)","DOI":"10.1145\/349299.349314"},{"issue":"6","key":"1_CR4","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/267959.267960","volume":"19","author":"D. Whitfield","year":"1997","unstructured":"Whitfield, D., Soffa, M.L.: An Approach for Exploring Code Improving Transformations. ACM Transactions on Programming Languages\u00a019(6), 1053\u20131084 (1997)","journal-title":"ACM Transactions on Programming Languages"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Jaramillo, C., Gupta, R., Soffa, M.L.: Comparison Checking: An approach to avoid debugging of optimized code. In: ACM SIGSOFT Proceedings of Foundation of Software Engineering, pp.\u00a0268\u2013284 (1999)","DOI":"10.1007\/3-540-48166-4_17"},{"key":"1_CR6","unstructured":"Triantafyllis, S., Vachharajani, M., Vachharajani, N., August, D.: Compiler Optimization- space Exploration. In: 1st International Symposium on Code Generation and Optimization, pp. 204\u2013215 (2003)"},{"key":"1_CR7","unstructured":"Cooper, K., Subramanian, D., Torczon, L.: Adaptive Optimizing Compilers for the 21st Century. In: Proceedings of the 2001 LACSI Symposium, Santa Fe, NM, USA (October 2001)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Kisuki, T., Knijnenburg, P.M.W., O\u2019Boyle, M.F.P.: Combined Selection of Tile Size and Unroll Factors Using Iterative Compilation. In: International Conference on Parallel Architectures and Compilation Techniques, pp. 237\u2013246 (2000)","DOI":"10.1109\/PACT.2000.888348"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Whitfield, D., Soffa, M.L.: An Approach to Ordering Optimizing Transformations. In: Proceedings ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, pp. 137\u2013146 (1990)","DOI":"10.1145\/99164.99179"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Zhao, M., Childers, B., Soffa, M.L.: Predicting the Impact of Optimizations for Embedded Systems. In: 2003 ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems, San Diego, CA, pp. 1\u201311 (2003)","DOI":"10.1145\/780733.780734"},{"key":"1_CR11","unstructured":"Zhao, M., Childers, B., Soffa, M.L.: Profit Driven Optimizations, Technical Report, University of Pittsburgh (January 2004)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24723-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T12:29:31Z","timestamp":1740313771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24723-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212973","9783540247234"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24723-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}