Items Authored/Edited by Hierons, Robert
Jump to: Article
Number of items: 7.
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]
Danicic, Sebastian, Laurence, Michael and Hierons, Robert. 2009. Decidability of Strong Equivalence for Subschemas of a Class of Linear, Free, near-Liberal Program Schemas. Goldsmiths Department of Computing Technical Report, [Article]