Items Authored/Edited by Binkley, David
Up a level |
Jump to: 2010
Number of items: 1.
2010
Danicic, Sebastian; Barraclough, Richard; Binkley, David; Harman, Mark; Hierons, Robert; Kiss, Ákos; Laurence, Michael 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]