scientific article; zbMATH DE number 1497828

MaRDI QIDQ4499250zbMATH OpenFDO

Authors Germán Puebla, Manuel Hermenegildo

Publication date 5 March 2001

zbMATH Keywords

Ciao prologCiao systemmodular logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1497834
• A new module system for Prolog
• scientific article; zbMATH DE number 1497832
• A generic framework for context-sensitive analysis of modular programs
• A calculus for the construction of modular prolog programs

Cites work

• A practical framework for theabstract interpretation of logic programs
• Abstract multiple specialization and its application to program parallelization
• Combined static and dynamic assertion-based debugging of constraint logic programs
• Compile-time derivation of variable dependency using abstract interpretation
• scientific article; zbMATH DE number 1497832 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Multiple specialization using minimal-function graph semantics
• Partial evaluation in logic programming
• Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

Cited in

(8)

• A new module system for Prolog
• An overview of Ciao and its design philosophy
• A model for inter-module analysis and optimizing compilation
• scientific article; zbMATH DE number 1497832 (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?)
• Optimized algorithms for incremental analysis of logic programs
• A generic framework for context-sensitive analysis of modular programs

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)