TY - JOUR T1 - A trajectory-based strict semantics for program slicing. JO - Theor. Comput. Sci. PY - 2010/03/06 AU - Barraclough RW AU - Binkley DW AU - Danicic S AU - Harman M AU - Hierons RM AU - Kiss Á AU - Laurence M AU - Ouarbya L ED - DO - DOI: 10.1016/j.tcs.2009.10.025 VL - 411 SP - 1372 EP - 1386 Y2 - 2025/11/05 ER -