Show simple item record

On the problem of verification of source code transformations: a case study

dc.contributor.authorFu, Q.
dc.contributor.authorBruynooghe, M.
dc.contributor.authorJanssens, G.
dc.contributor.authorCatthoor, Francky
dc.date.accessioned2021-10-15T13:29:22Z
dc.date.available2021-10-15T13:29:22Z
dc.date.issued2004
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/8931
dc.sourceIIOimport
dc.titleOn the problem of verification of source code transformations: a case study
dc.typeProceedings paper
dc.contributor.imecauthorCatthoor, Francky
dc.contributor.orcidimecCatthoor, Francky::0000-0002-3599-8515
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.source.beginpage95
dc.source.endpage97
dc.source.conferenceProgram Acceleration through Application and Architecture driven Code Transformation - PA3CT
dc.source.conferencedate13/09/2004
dc.source.conferencelocationEdegem Belgium
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
8683.pdf
Size:
193.1Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record