Science of Computer Programming 62(3), 228–252 (2006), special issue on Source code analysis and manipulation (SCAM 2005)

Binkley, D · 2006

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.PL · 2019-07-12 · unverdicted · novelty 7.0

Formal Coq verification of duality between forward and backward dynamic slicing algorithms for an imperative language.

Showing 1 of 1 citing paper.

Verified Self-Explaining Computation cs.PL · 2019-07-12 · unverdicted · full · ref 2
Formal Coq verification of duality between forward and backward dynamic slicing algorithms for an imperative language.