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.