Content deleted Content added
Citation bot (talk | contribs) m Alter: template type. Add: citeseerx. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. |
Matthiaspaul (talk | contribs) →See also: +link |
||
Line 63:
* [[Data dependency]]
* [[Frama-C]] a tool which implements slicing algorithms on [[C program]]s.
* [[Partial dead code elimination]]
== References ==
| |||