Logic programs as specifications in the inductive verification of logic programs

DOI10.1016/S1571-0661(04)00153-7zbMath1263.68034OpenAlexW2069538060MaRDI QIDQ4923522

Roberta Gori, Giorgio Levi, Marco Comini

Publication date: 24 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00153-7

zbMATH Keywords

abstract interpretationinductive verificationtransformation of logic programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.

Cites Work

• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Abstract diagnosis
• Synthesis and transformation of logic programs using unfold/fold proofs
• Systematic design of program transformation frameworks by abstract interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item