TY - JOUR T1 - A trajectory-based strict semantics for program slicing JO - Theoretical Computer Science PY - 2010/03/06 AU - Laurence MR AU - Barraclough RW AU - Binkley D AU - Danicic S AU - Harman M AU - Hierons RM AU - Kiss A AU - Ouarbya L ED - PB - Elsevier VL - 411 IS - 1-13 SP - 1372 EP - 1386 Y2 - 2025/05/31 ER -