Revision as of 02:39, 15 June 2009 edit The Thing That Should Not Be (talk \| contribs) Pending changes reviewers, Rollbackers 167,531 edits m clean up, typos fixed: criterions → criteria using AWB ← Previous edit		Revision as of 23:48, 15 September 2009 edit undo 88.172.96.13 (talk) →See also: Capitalization and precision Next edit →
Line 40: * [[Reaching definition]] * [[Data dependency]] * [[Frama-cC]] a tool which implements slicing algorithms on [[C program]]s ~~using slicing criteria written in the [[ANSI/ISO C Specification Language]] (ACSL)~~. == References ==

Program slicing: Difference between revisions