scientific article; zbMATH DE number 1497828

zbMath0958.68031MaRDI QIDQ4499250

Manuel V. Hermenegildo, Germán Puebla

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modular logic programmingCiao prologCiao system

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Optimized algorithms for incremental analysis of logic programs

Uses Software

• Ciao

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial evaluation in logic programming
• Multiple specialization using minimal-function graph semantics
• Compile-time derivation of variable dependency using abstract interpretation
• Abstract multiple specialization and its application to program parallelization
• A practical framework for theabstract interpretation of logic programs

This page was built for publication: