Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Author is M. Laurence  [Clear All Filters]
2011
Danicic S, Barraclough R, Harman M, Howroyd JD, Kiss Á, Laurence M.  2011.  A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science. 412:6809–6842.
2010
Barraclough RW, Binkley D, Danicic S, Harman M, Hierons RM, Kiss Á, Laurence M, Ouarbya L.  2010.  A Trajectory-based Strict Semantics for Program Slicing. Theoretical Computer Science. 411:1372–1386.