scientific article; zbMATH DE number 1497843

MaRDI QIDQ4499271zbMATH OpenFDO

Authors Manuel Hermenegildo

Publication date 5 March 2001

zbMATH Keywords

Ciao system assertion languagelpdoc

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1696873
• Constructive system for automatic program synthesis
• Publication:4861677
• scientific article; zbMATH DE number 3976317
• Publication:4730751
• Automatic Deductive Synthesis of Lisp Programs in the System ALISA

Cites work

• scientific article; zbMATH DE number 1615263 (Why is no real title available?)
• scientific article; zbMATH DE number 1696792 (Why is no real title available?)
• scientific article; zbMATH DE number 1497828 (Why is no real title available?)
• scientific article; zbMATH DE number 1497832 (Why is no real title available?)
• scientific article; zbMATH DE number 1368925 (Why is no real title available?)
• scientific article; zbMATH DE number 867332 (Why is no real title available?)
• Literate Programming
• Program Development in Computational Logic
• The execution algorithm of mercury, an efficient purely declarative logic programming language

Cited in

(1)

• scientific article; zbMATH DE number 1696873 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mercury
• Ciao
• CiaoPP

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 Q4499271)