Content deleted Content added
m Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags |
Omnipaedista (talk | contribs) see MOS:SECTIONORDER |
||
Line 64:
* [[Frama-C]] a tool which implements slicing algorithms on [[C program]]s.
* [[Partial dead code elimination]]
== Notes ==
{{reflist}}
== References ==
Line 76 ⟶ 79:
* Jens Krinke. "Program Slicing", In Handbook of Software Engineering and Knowledge Engineering, Volume 3: Recent Advances. [[World Scientific Publishing]], 2005
* Silva, Josep. "A vocabulary of program slicing-based techniques", ACM Computing Surveys, Volume 44, Issue 3, [[Association for Computing Machinery]], June 2012
*[http://www.users.miamioh.edu/alomarhw/ Alomari HW] et al. "srcSlice: very efficient and scalable forward static slicing". [https://onlinelibrary.wiley.com/journal/20477481 Wiley Journal of Software: Evolution and Process] ('''JSEP'''), DOI: 10.1002/smr.1651, Vol. 26, No. 11, pp. 931-961, 2014.
==External links==
| |||