Title: A freeness and sharing analysis of logic programs based on a pre-interpretation
Authors: Bruynooghe, Maurice
Demoen, Bart
Boulanger, Dmitri
Denecker, Marc
Mulkers, Anne #
Issue Date: 1996
Publisher: Springer
Host Document: Lecture notes in computer science vol:1445 pages:128-142
Conference: Third International Symposium on Static Analysis location:Aachen, Germany date:September 24-27, 1996
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


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