scientific article; zbMATH DE number 1696778

MaRDI QIDQ2767033zbMATH OpenFDO

Authors Wim Van Hoof

Publication date 22 July 2002

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Program Development in Computational Logic
• scientific article; zbMATH DE number 1497826
• Binding-Time Annotations without Binding-Time Analysis
• scientific article; zbMATH DE number 1738290
• scientific article; zbMATH DE number 1231585

Cited in

(6)

• Fast offline partial evaluation of logic programs
• A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
• scientific article; zbMATH DE number 1497826 (Why is no real title available?)
• scientific article; zbMATH DE number 1738290 (Why is no real title available?)
• Comparing flow-based binding-time analyses
• Program Development in Computational Logic

This page was built for publication:

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