{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:44:25Z","timestamp":1759938265216},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540254119"},{"type":"electronic","value":"9783540319856"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31985-6_15","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T18:53:19Z","timestamp":1278874399000},"page":"221-236","source":"Crossref","is-referenced-by-count":20,"title":["Verification of Source Code Transformations by Program Equivalence Checking"],"prefix":"10.1007","author":[{"given":"K. C.","family":"Shashidhar","sequence":"first","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]},{"given":"Francky","family":"Catthoor","sequence":"additional","affiliation":[]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","first-page":"177","volume-title":"POPL","author":"J.R. Allen","year":"1983","unstructured":"Allen, J.R., Kennedy, K., Porterfield, C., Warren, J.D.: Conversion of control dependence to data dependence. In: POPL, pp. 177\u2013189. ACM, New York (1983)"},{"key":"15_CR2","volume-title":"Optimizing Compilers for Modern Architectures","author":"R. Allen","year":"2001","unstructured":"Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures. Morgan Kaufmann Publishers, San Francisco (2001)"},{"key":"15_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6894-6","volume-title":"Dependence Analysis for Supercomputing","author":"U. Banerjee","year":"1988","unstructured":"Banerjee, U.: Dependence Analysis for Supercomputing. Kluwer Academic Publishers, Dordrecht (1988)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-45706-2_40","volume-title":"Euro-Par 2002. Parallel Processing","author":"D. Barthou","year":"2002","unstructured":"Barthou, D., Feautrier, P., Redon, X.: On the equivalence of two systems of affine recurrence equations. In: Monien, B., Feldmann, R.L. (eds.) Euro-Par 2002. LNCS, vol.\u00a02400, pp. 309\u2013313. Springer, Heidelberg (2002)"},{"key":"15_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2849-1","volume-title":"Custom Memory Management Methodology: Exploration of Memory Organization for Embedded Multimedia System Design","author":"F. Catthoor","year":"1998","unstructured":"Catthoor, F., Wuytack, S., de Greef, E., Balasa, F., Nachtergaele, L., Vandecappelle, A.: Custom Memory Management Methodology: Exploration of Memory Organization for Embedded Multimedia System Design. Kluwer Publishers, Dordrecht (1998)"},{"issue":"4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR7","first-page":"429","volume-title":"ICS","author":"P. Feautrier","year":"1988","unstructured":"Feautrier, P.: Array expansion. In: ICS, pp. 429\u2013441. ACM, New York (1988)"},{"key":"15_CR8","series-title":"ENTCS","volume-title":"International Workshop on Compiler Optimization Meets Compiler Verification","author":"B. Goldberg","year":"2004","unstructured":"Goldberg, B., Zuck, L., Barrett, C.: Into the loops: Practical issues in translation validation for optimizing compilers. In: International Workshop on Compiler Optimization Meets Compiler Verification. ENTCS. Elsevier, Amsterdam (2004)"},{"issue":"6","key":"15_CR9","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1007\/BF03356760","volume":"24","author":"W. Kelly","year":"1996","unstructured":"Kelly, W., Pugh, W., Rosser, E., Shpeisman, T.: Transitive closure of infinite graphs and its applications. Intl. Journ. of Parallel Prog.\u00a024(6), 579\u2013598 (1996)","journal-title":"Intl. Journ. of Parallel Prog."},{"issue":"6","key":"15_CR10","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/945885.945888","volume":"25","author":"N. Mateev","year":"2003","unstructured":"Mateev, N., Menon, V., Pingali, K.: Fractal symbolic analysis. ACM Transactions on Programming Languages and Systems\u00a025(6), 776\u2013813 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/349299.349314","volume-title":"SIGPLAN Programming Language Design and Implementation","author":"G.C. Necula","year":"2000","unstructured":"Necula, G.C.: Translation validation for an optimizing compiler. In: SIGPLAN Programming Language Design and Implementation, pp. 83\u201395. ACM, New York (2000)"},{"issue":"8","key":"15_CR12","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/135226.135233","volume":"35","author":"W. Pugh","year":"1992","unstructured":"Pugh, W.: A practical algorithm for exact array dependence analysis. Communications of the ACM\u00a035(8), 102\u2013114 (1992)","journal-title":"Communications of the ACM"},{"key":"15_CR13","volume-title":"Design, Automation and Test in Europe","author":"K.C. Shashidhar","year":"2005","unstructured":"Shashidhar, K.C., Bruynooghe, M., Catthoor, F., Janssens, G.: Functional equivalence checking for verification of algebraic transformations on array-intensive source code. In: Design, Automation and Test in Europe. IEEE, Los Alamitos (2005)"},{"key":"15_CR14","unstructured":"Shashidhar, K.C., Bruynooghe, M., Catthoor, F., Janssens, G.: Automatic Verification of Source Code Transformations on Array-Intensive Programs: Demonstration with Real-life Examples. Tech. Rep. CW 401, Dept. of Computer Science, Katholieke Universiteit Leuven, Belgium (2005)"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/IWIA.2001.955200","volume-title":"International Workshop on Innovative Architectures for Future Generation High-Performance Processors and Systems","author":"R.A. Engelen van","year":"2001","unstructured":"van Engelen, R.A., Gallivan, K.A.: An efficient algorithm for pointer-to-array access conversion for compiling and optimizing DSP applications. In: International Workshop on Innovative Architectures for Future Generation High-Performance Processors and Systems, pp. 80\u201389. IEEE, Los Alamitos (2001)"},{"key":"15_CR16","unstructured":"Vanbroekhoven, P., Janssens, G., Bruynooghe, M., Corporaal, H., Catthoor, F.: A step towards a scalable dynamic single assignment conversion. Tech. Rep. CW 360, Dept. of Computer Science, Katholieke Universiteit Leuven, Belgium (2003)"},{"key":"15_CR17","volume-title":"High Performance Compilers for Parallel Computing","author":"M. Wolfe","year":"1996","unstructured":"Wolfe, M.: High Performance Compilers for Parallel Computing. Addison-Wesley Publishing Company, Reading (1996)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31985-6_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:44:50Z","timestamp":1620013490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31985-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254119","9783540319856"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31985-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}