Title: Storage size reduction by in-place mapping of arrays
Authors: Tronçon, Remko ×
Bruynooghe, Maurice
Janssens, Gerda
Catthoor, Francky #
Issue Date: 2002
Publisher: Springer
Host Document: Lecture notes in computer science vol:2294 pages:167-181
Conference: Verification, Model Checking, and Abstract Interpretation - VMCAI. 3rd international Workshop location:Venice, Italy date:January 21-22, 2002
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
Associated Section of ESAT - INSYS, Integrated Systems
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
chp%3A10.1007%2F3-540-47813-2_12.pdf Published 224KbAdobe PDFView/Open


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