Export 2 results:Author Title [ Type] Year
Filters: Author is M. Laurence [Clear All Filters]
A Trajectory-based Strict Semantics for Program Slicing. Theoretical Computer Science. 411:1372–1386.. 2010.
A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science. 412:6809–6842.. 2011.