Show simple item record

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

dc.contributor.authorShashidhar, K.C.
dc.contributor.authorBruynooghe, M.
dc.contributor.authorCatthoor, Francky
dc.contributor.authorJanssens, Gerda
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.sourceIIOimport
dc.titleGeometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations
dc.typeOral presentation
dc.contributor.imecauthorCatthoor, Francky
dc.contributor.orcidimecCatthoor, Francky::0000-0002-3599-8515
dc.source.peerreviewno
dc.source.conferenceInternational Workshop on Compilers Meets Compiler Verification - COCV
dc.source.conferencedate13/04/2002
dc.source.conferencelocationGrenoble France
imec.availabilityPublished - imec
imec.internalnotesHeld in conj. with 5th European Joint Conf. on Theory and Practice of Software ETAPS'02, Vol 65,No.2


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record