scientific article; zbMATH DE number 1497843

zbMATH Open0966.68033MaRDI QIDQ4499271FDOQ4499271

Authors: Manuel Hermenegildo 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Ciao system assertion languagelpdoc

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• Literate Programming
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Program Development in Computational Logic

Cited In (1)

• Title not available (Why is that?)

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)