A. K. Lal
- On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability
2023/11/07 by Shankara Narayanan Krishna, A. K. Lal, Krishna, Shankaranarayanan +5 · 1 citation
Computer Science · Decision Sciences · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Scientific Computing and Data Management #Security and Verification in Computing