Title: Freeness, sharing, linearity and correctness - all at once
Authors: Bruynooghe, Maurice
Codish, Michael #
Issue Date: 1993
Publisher: Springer
Host Document: Lecture notes in computer science vol:724 pages:153-164
Conference: International Workshop on Static Analysis location:Padova, Italy date:September 22-24, 1993
ISBN: 3-540-57264-3
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Status SizeFormat
SAS93.pdf Published 551KbAdobe PDFView/Open


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