%0 Journal Article %1 journals/corr/abs-0710-4689 %A Shashidhar, K. C. %A Bruynooghe, Maurice %A Catthoor, Francky %A Janssens, Gerda %D 2007 %J CoRR %K dblp %T Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code %U http://dblp.uni-trier.de/db/journals/corr/corr0710.html#abs-0710-4689 %V abs/0710.4689

@article{journals/corr/abs-0710-4689, added-at = {2018-08-13T00:00:00.000+0200}, author = {Shashidhar, K. C. and Bruynooghe, Maurice and Catthoor, Francky and Janssens, Gerda}, biburl = {https://www.bibsonomy.org/bibtex/226193dabb4a5217487669c451cdbed36/dblp}, ee = {http://arxiv.org/abs/0710.4689}, interhash = {da5e6f34a9883c46824a9b8e3e8e4629}, intrahash = {26193dabb4a5217487669c451cdbed36}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:02:02.000+0200}, title = {Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0710.html#abs-0710-4689}, volume = {abs/0710.4689}, year = 2007 }