Logo
Logo

Goldsmiths - University of London

Items Authored/Edited by Harman, Mark

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 6.

Danicic, Sebastian, Barraclough, Richard, Harman, Mark, Howroyd, John, Kiss, Akos and Laurence, Michael. 2011. A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science, 412(49), pp. 6809-6842. ISSN 0304-3975 [Article]

[img]
Preview
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]

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]

Danicic, Sebastian, Harman, Mark, Howroyd, John and Ouarbya, Lahcen. 2007. A non-standard semantics for program slicing and dependence analysis. The Journal of Logic and Algebraic Programming, 72(2), pp. 192-206. ISSN 1567-8326 [Article]

Binkley, Dave, Danicic, Sebastian, Gyimóthy, Tibor, Harman, Mark, Kiss, Ákos and Korel, Bogdan. 2006. Theoretical foundations of dynamic program slicing. Theoretical Computer Science, 360(1-3), pp. 23-41. ISSN 03043975 [Article]

Binkley, Dave, Danicic, Sebastian, Harman, Mark, Howroyd, John and Ouarbya, Lahcen. 2006. A formal relationship between program slicing and partial evaluation. Formal Aspects of Computing, 18(2), pp. 103-119. ISSN 09345043 [Article]

This list was generated on Sat Dec 20 15:00:03 2014 GMT.