scientific article; zbMATH DE number 1975609

MaRDI QIDQ4424850zbMATH OpenFDO

Authors Manuel Hermenegildo, Germán Puebla, F. Bueno, P. López-García

Publication date 7 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2627/26270001.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 2086611
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• scientific article; zbMATH DE number 1497823
• Abstract interpretation based verification of logic programs
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Cited in

(22)

• Kima: An automated error correction system for concurrent logic programs
• Abstract interpretation based verification of logic programs
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• scientific article; zbMATH DE number 1615250 (Why is no real title available?)
• scientific article; zbMATH DE number 1696809 (Why is no real title available?)
• Mathematical programming based debugging
• scientific article; zbMATH DE number 5850099 (Why is no real title available?)
• scientific article; zbMATH DE number 4178791 (Why is no real title available?)
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• scientific article; zbMATH DE number 3978439 (Why is no real title available?)
• Using parametric set constraints for locating errors in CLP programs
• scientific article; zbMATH DE number 1497823 (Why is no real title available?)
• scientific article; zbMATH DE number 2086611 (Why is no real title available?)
• scientific article; zbMATH DE number 2090844 (Why is no real title available?)
• scientific article; zbMATH DE number 1406236 (Why is no real title available?)
• Applying constraint logic programming to SQL semantic analysis
• Verifying Tight Logic Programs with anthem and vampire
• A logical framework for debugging in declarative constraint programming
• Tools and Algorithms for the Construction and Analysis of Systems
• A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3
• Abstract interpretation of recursive logic definitions for efficient runtime assertion checking
• CPBPV: a constraint-programming framework for bounded program verification

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