Title: Verification of source code transformations by program equivalence checking
Authors: Shashidhar, K. C. ×
Bruynooghe, Maurice
Catthoor, Francky
Janssens, Gerda #
Issue Date: 2005
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:3443 pages:221-236
Conference: International Conference on Compiler Construction edition:14 location:Edinburgh, United Kingdom date:April 4-8, 2005
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
Associated Section of ESAT - INSYS, Integrated Systems
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
cc05.pdf Published 276KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science