• Binding-time analysis for Merc...

Treffer: Binding-time analysis for Mercury ; Program Development in Computational Logic

Title:
Binding-time analysis for Mercury ; Program Development in Computational Logic
Authors:
Vanhoof, Wim, Bruynooghe, Maurice, Leuschel, Michael
Contributors:
Bruynooghe, Maurice, Lau, Kung-Kiu
Source:
ISBN:3-540-22152-2 ; ISSN:0302-9743 ; none ; Program Development in Computational Logic, (189-232), (Lecture Notes in Computer Science, 3049.
Publisher Information:
Springer
Publication Year:
2004
Subject Terms:
termination analysis, logic programs, prolog, Science & Technology, Technology, Computer Science, Theory & Methods
Document Type:
Buch book part
File Description:
application/pdf
Language:
English
ISBN:
978-3-540-22152-4
3-540-22152-2
Relation:
https://lirias.kuleuven.be/handle/123456789/124642; https://doi.org/10.1007/b98187
DOI:
10.1007/b98187
Availability:
https://lirias.kuleuven.be/handle/123456789/124642
https://lirias.kuleuven.be/retrieve/1a91373a-0efd-436e-b0e9-c1d2df1b45ff
https://doi.org/10.1007/b98187
Rights:
info:eu-repo/semantics/openAccess ; public
Accession Number:
edsbas.3A38879
Database:
BASE

Weitere Informationen

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. ; status: Published