Publications
Export 2 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is L and 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.