Skip to content

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation.

Raghavan Komondoor

VenueBSAS
Year2013
ProceedingsSAS

Browse the full SAS paper archive.