Enhancing Theorem Prover Interfaces with Program Slice Information

DOI10.1016/J.ENTCS.2006.09.019zbMath1278.68256OpenAlexW1969646064MaRDI QIDQ2867933

Louise Abigail Dennis

Publication date: 20 December 2013

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.09.019

zbMATH Keywords

verificationprogram slicingproof-directed debugging

Mathematics Subject Classification ID

Uses Software

• Isar
• Proof General
• Hat
• Lambda-Clam
• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Isabelle/HOL. A proof assistant for higher-order logic
• Theorem proving in higher order logics. 12th international conference, TPHOLs '99. Nice, France, September 14--17, 1999. Proceedings
• Program Slicing
• Proof-directed debugging
• Source-Based Trace Exploration

This page was built for publication: Enhancing Theorem Prover Interfaces with Program Slice Information