scientific article; zbMATH DE number 1497828

zbMATH Open0958.68031MaRDI QIDQ4499250FDOQ4499250

Authors: Germán Puebla, Manuel Hermenegildo 

Publication date: 5 March 2001

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

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

zbMATH Keywords

modular logic programmingCiao prologCiao system

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Partial evaluation in logic programming
• Title not available (Why is that?)
• A practical framework for theabstract interpretation of logic programs
• Compile-time derivation of variable dependency using abstract interpretation
• Multiple specialization using minimal-function graph semantics
• Abstract multiple specialization and its application to program parallelization
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Optimized algorithms for incremental analysis of logic programs
• Title not available (Why is that?)
• An overview of Ciao and its design philosophy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Program Development in Computational Logic

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)