Verification of source code transformations by program equivalence checking

Thumbnail
Metadata
Show full item record
Authors
Kodamballi, Shashi; Bruynooghe, Maurice; Catthoor, Francky; Janssens, Gerda
Conference
Compiler Construction, 14th International Conference
Title
Verification of source code transformations by program equivalence checking
Publication type
Proceedings paper
Collections