A trajectory-based strict semantics for program slicing

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:

DateEvent
2010Published

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 Edit Record (login required)