scientific article; zbMATH DE number 1497832

MaRDI QIDQ4499255zbMATH OpenFDO

Authors Daniel Cabeza, Manuel Hermenegildo

Publication date 6 March 2001

zbMATH Keywords

Ciao compilerCiao prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1497834
• scientific article; zbMATH DE number 1696792
• scientific article; zbMATH DE number 1497828
• An overview of Ciao and its design philosophy
• An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Cites work

• scientific article; zbMATH DE number 1696792 (Why is no real title available?)
• scientific article; zbMATH DE number 1497834 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• scientific article; zbMATH DE number 867332 (Why is no real title available?)
• Compile-time derivation of variable dependency using abstract interpretation

Cited in

(7)

• scientific article; zbMATH DE number 1497828 (Why is no real title available?)
• scientific article; zbMATH DE number 1497834 (Why is no real title available?)
• scientific article; zbMATH DE number 1497843 (Why is no real title available?)
• scientific article; zbMATH DE number 1696792 (Why is no real title available?)
• Lightweight compilation of (C)LP to JavaScript
• An overview of Ciao and its design philosophy
• An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Describes a project that uses

Uses Software

• Ciao
• CiaoPP
• SICStus

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