Publications
A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science. 412:6809–6842.
.
2011. A Trajectory-based Strict Semantics for Program Slicing. Theoretical Computer Science. 411:1372–1386.
.
2010. A Formalisation of the Relationship between Forms of Program Slicing. Science of Computer Programming. 62:228–252.
.
2006. Theoretical Foundations of Dynamic Program Slicing. Theoretical Computer Science. 360:23–41.
.
2006. Minimal Slicing and the Relationships between Forms of Slicing. Proceedings of the 5th {IEEE} International Workshop on Source Code Analysis and Manipulation ({SCAM} 2005). :45–54.
.
2005. Formalizing Executable Dynamic and Forward Slicing. Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004). :43–52.
.
2004.