Barraclough, Richard; Binkley, Dave; Danicic, Sebastian; Harman, Mark; Hierons, Robert; Kiss, Akos; Laurence, Mike and Ouarbya, Lahcen. 2010. A trajectory-based strict semantics for program slicing. Theoretical Computer Science, 411(11-13), pp. 1372-1386. ISSN 0304-3975 [Article]

No full text available

Item Type:	Article
Identification Number (DOI):	https://doi.org/10.1016/j.tcs.2009.10.025
Departments, Centres and Research Units:	Computing
Dates:	Date Event 2010 Published
Item ID:	6646
Date Deposited:	09 Mar 2012 09:30
Last Modified:	20 Jun 2017 11:22
Peer Reviewed:	Yes, this version has been peer-reviewed.
URI:	https://research.gold.ac.uk/id/eprint/6646

Edit Record (login required)