Program debugging and validation using semantic approximations and partial specifications

DOI10.1007/3-540-45465-9_7MaRDI QIDQ4737145zbMATH OpenFDO

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

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2380/23800069.htm, http://oa.upm.es/14251/

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Abstract verification and debugging of constraint logic programs
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging
• Program development using abstract interpretation (and the Ciao system preprocessor)
• Logical approximation for program analysis

Cited in

(9)

• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Mathematical programming based debugging
• Program analysis using quantifier-elimination heuristics (extended abstract)
• A formal semantics for program debugging
• Abstract verification and debugging of constraint logic programs
• Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging
• Program development using abstract interpretation (and the Ciao system preprocessor)
• Assertion based inductive verification methods for logic programs
• Method for detecting exceptions in Windows applications

This page was built for publication: Program debugging and validation using semantic approximations and partial specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737145)