Publication:

Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations

Date

2002
Presentation
Simple item page Full metadata Statistics
 
dc.contributor.authorShashidhar, K.C.
dc.contributor.authorBruynooghe, M.
dc.contributor.authorCatthoor, Francky
dc.contributor.authorJanssens, Gerda
dc.contributor.imecauthorCatthoor, Francky
dc.contributor.orcidimecCatthoor, Francky::0000-0002-3599-8515
dc.date.accessioned2021-10-14T23:09:28Z
dc.date.available2021-10-14T23:09:28Z
dc.date.issued2002
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/6823
dc.source.conferenceInternational Workshop on Compilers Meets Compiler Verification - COCV
dc.source.conferencedate13/04/2002
dc.source.conferencelocationGrenoble France
dc.title

Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations

dc.typeOral presentation
dspace.entity.typePublication
Files
Publication available in collections:
Presentations