Algorithmic Debugging and Hypothetical Reasoning

• 1 January 1997
• journal article
• Published by Springer Nature in Automated Software Engineering
• Vol. 4  (2) , 151-178
• https://doi.org/10.1023/a:1008633100749

Abstract

Keywords

• RISC
• SHAPIRO'S
• LOGIC
• HORN
• DEBUGGING
• ALGORITHMIC
• HYPOTHETICAL
• DEFINED
• CLAUSE
• INTUITIONISTIC