Binding-Time Annotations without Binding-Time Analysis

DOI10.1007/3-540-45653-8_49MaRDI QIDQ2996203zbMATH OpenOpenAlexFDO

Authors Wim Van Hoof, Maurice Bruynooghe

Publication date 6 May 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://lirias.kuleuven.be/handle/123456789/166947

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Binding-time analysis for both static and dynamic expressions
• scientific article; zbMATH DE number 1760152
• Enhanced type inference for binding-time analysis
• scientific article; zbMATH DE number 2084340
• Static semantics, types, and binding time analysis
• scientific article; zbMATH DE number 1630104
• Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
• A temporal logic approach to binding-time analysis
• Comparing flow-based binding-time analyses

Cited in

(7)

• Fast offline partial evaluation of logic programs
• scientific article; zbMATH DE number 1696778 (Why is no real title available?)
• scientific article; zbMATH DE number 1497826 (Why is no real title available?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Fully Automatic Binding-Time Analysis for Prolog
• Program Development in Computational Logic
• Logic Based Program Synthesis and Transformation

This page was built for publication: Binding-Time Annotations without Binding-Time Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996203)