scientific article; zbMATH DE number 1497828

MaRDI QIDQ4499250zbMATH OpenFDO

Authors Germán Puebla, Manuel Hermenegildo

Publication date 5 March 2001

zbMATH Keywords

modular logic programmingCiao prologCiao system

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 1497832
• Program Development in Computational Logic
• A calculus for the construction of modular prolog programs

Cites work

• scientific article; zbMATH DE number 1615263 (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 236855 (Why is no real title available?)
• A practical framework for theabstract interpretation of logic programs
• Abstract multiple specialization and its application to program parallelization
• Compile-time derivation of variable dependency using abstract interpretation
• Multiple specialization using minimal-function graph semantics
• Partial evaluation in logic programming

Cited in

(7)

• Optimized algorithms for incremental analysis of logic programs
• scientific article; zbMATH DE number 1973219 (Why is no real title available?)
• An overview of Ciao and its design philosophy
• 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 1497843 (Why is no real title available?)
• Program Development in Computational Logic

Describes a project that uses

Uses Software

• Ciao

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