In: Mathematics of Program Construction, 8th Inter- national Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

Gibbons, J · 2006 · DOI 10.1007/11783596

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

1 Pith paper citing it

open at publisher 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 7
Formal Coq verification of duality between forward and backward dynamic slicing algorithms for an imperative language.