In: Proceedings of the 2015 Conference on Certiﬁed Programs and Proofs

Blazy, S · 2015

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