{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T19:30:48Z","timestamp":1760297448660,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/date.2005.163","type":"proceedings-article","created":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T15:16:50Z","timestamp":1112368610000},"page":"1310-1315","source":"Crossref","is-referenced-by-count":21,"title":["Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code"],"prefix":"10.1109","author":[{"given":"K.C.","family":"Shashidhar","sequence":"first","affiliation":[]},{"given":"M.","family":"Bruynooghe","sequence":"additional","affiliation":[]},{"given":"F.","family":"Catthoor","sequence":"additional","affiliation":[]},{"given":"G.","family":"Janssens","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805823"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2003.1252471"},{"key":"12","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/IWIA.2001.955200","article-title":"An efficient algorithm for pointer-to-array access conversion for compiling and optimizing DSP applications","author":"van engelen","year":"2001","journal-title":"Innovative Archs for Future Gen High-Perf Processors and Systems"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126602000586"},{"key":"2","first-page":"309","article-title":"On the equivalence of two systems of affine recurrence equations","volume":"2400","author":"barthou","year":"2002","journal-title":"8th Euro-Par LNCS"},{"journal-title":"Optimizing Compilers for Modern Architectures","year":"2001","author":"allen","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.01.030"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/55364.55406"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4903-8"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2849-1"},{"key":"9","doi-asserted-by":"crossref","first-page":"776","DOI":"10.1145\/945885.945888","article-title":"Fractal symbolic analysis","volume":"25","author":"mateev","year":"2003","journal-title":"ACM TOPLAS"},{"journal-title":"The Omega Calculator and Library Version 1 1 0","year":"0","author":"kelly","key":"8"}],"event":{"name":"Design, Automation and Test in Europe","location":"Munich, Germany"},"container-title":["Design, Automation and Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9609\/30361\/01395774.pdf?arnumber=1395774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,8]],"date-time":"2019-02-08T07:56:37Z","timestamp":1549612597000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1395774\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/date.2005.163","relation":{},"subject":[]}}