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  - 2024/12/22

ER  -