Refinement of path expressions for static analysis

John Cyphert, Jason Breck, Zachary Kincaid, Thomas Reps

Research output: Contribution to journalArticlepeer-review

13 Scopus citations

Fingerprint

Dive into the research topics of 'Refinement of path expressions for static analysis'. Together they form a unique fingerprint.

Mathematics

Keyphrases

Computer Science