Title: Bottom-up abstract interpretation of logic programs
Authors: Codish, Michael ×
Dams, D
Yardeni, E #
Issue Date: 1994
Publisher: Elsevier, Amsterdam
Series Title: Theoretical Computer Science vol:124 pages:93-125
ISSN: 0304-3975
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (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.

© Web of science