On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Fingerprint

Dive into the research topics of 'On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability'. Together they form a unique fingerprint.

Computer Science