Title: Binding-time analysis for Mercury
Other Titles: Program Development in Computational Logic
Authors: Vanhoof, Wim ×
Bruynooghe, Maurice
Leuschel, Michael #
Issue Date: 2004
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:3049 pages:189-232
Conference: none
Abstract: In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available in Mercury programs, that allows the analyser to reason with partially static data structures. The analysis is polyvariant, and deals with the module structure and higher-order capabilities of Mercury programs.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
41331.pdf Published 437KbAdobe PDFView/Open


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

© Web of science