TY - JOUR T1 - A trajectory-based strict semantics for program slicing JO - Theoretical Computer Science PY - 2010/03/06 AU - Barraclough RW AU - Binkley D 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 PB - Elsevier BV VL - 411 IS - 11-13 SP - 1372 EP - 1386 Y2 - 2024/12/22 ER -