scientific article; zbMATH DE number 1497826

zbMath0958.68034MaRDI QIDQ4499248

Maurice Bruynooghe, Wim Vanhoof

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

binding-time analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Mercury

Cites Work

• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Program Development in Computational Logic
• Unnamed Item

This page was built for publication: