ITEM METADATA RECORD
Title: Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury
Authors: Vanhoof, Wim # ×
Issue Date: 2000
Host Document: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 2000, Proceedings vol:1955 pages:399-416
Conference: 7th International Conference on Logic for Programming and Automated Reasoning location:Reunion Island date:November 6-9, 2000
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
32354.pdf Published 263KbAdobe PDFView/Open

 


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

© Web of science