Functional equivalence checking for verification of algebraic transformations on array-intensive source code

dc.contributor.author	Kodamballi, Shashi
dc.contributor.author	Bruynooghe, Maurice
dc.contributor.author	Catthoor, Francky
dc.contributor.author	Janssens, Gerda
dc.contributor.imecauthor	Catthoor, Francky
dc.contributor.orcidimec	Catthoor, Francky::0000-0002-3599-8515
dc.date.accessioned	2021-10-16T02:38:06Z
dc.date.available	2021-10-16T02:38:06Z
dc.date.issued	2005-03
dc.identifier.uri	https://imec-publications.be/handle/20.500.12860/10719
dc.source.beginpage	1310
dc.source.conference	Proceedings of the Design, Automation and Test in Europe Conference and Exhibition - DATE
dc.source.conferencedate	7/03/2005
dc.source.conferencelocation	München Germany
dc.source.endpage	1315
dc.title	Functional equivalence checking for verification of algebraic transformations on array-intensive source code
dc.type	Proceedings paper
dspace.entity.type	Publication
Files
Publication available in collections:	Conference contributions

Date