Program slicing: Difference between revisions

Content deleted Content added
Line 40:
* [[Reaching definition]]
* [[Data dependency]]
* [[Frama-Cc]] a tool which implements a slicing algorithms on [[C program]]s.
 
== References ==