|ITEM METADATA RECORD
|Title: ||Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop|
|Authors: ||Codish, Michael ×|
Demoen, Bart #
|Issue Date: ||1994 |
|Host Document: ||Static Analysis, Lecture Notes in Computer Science 864 pages:281-296|
|Conference: ||First International Static Analysis Symposium, SAS'94 location:Namur, Belgium date:September 28-30, 1994|
|Publication status: ||published|
|KU Leuven publication type: ||IC|
|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.