Browse by Goldsmiths authors: Barraclough, Richard

Item Type Date No Grouping

A unifying theory of control dependence and its application to arbitrary program structures. (2011) Danicic, Sebastian; Barraclough, Richard; Harman, Mark; Howroyd, John; Kiss, Akos and Laurence, Michael

A trajectory-based strict semantics for program slicing. (2010) Danicic, Sebastian; Barraclough, Richard; Binkley, David; Harman, Mark; Hierons, Robert; Kiss, Ákos; Laurence, Michael and Ouarbya, Lahcen