3 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.SE2024★ 3 cited
Runtime Verification on Abstract Finite State Models
KP Jevitha, Bharat Jayaraman, M Sethumadhavan
Finite-state models are ubiquitous in the study of concurrent systems, especially controllers and servers that operate in a repetitive cycle. In this paper, we show how to extract…
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…