2 papers
cs.PL2007★ 1 cited
JavaTA: A Logic-based Debugger for Java
Hani Girgis, Bharat Jayaraman
This paper presents a logic based approach to debugging Java programs. In contrast with traditional debugging we propose a debugging methodology for Java programs using logical que…
cs.PL1998
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
The inclusion of universal quantification and a form of implication in goals in logic programming is considered. These additions provide a logical basis for scoping but they also r…