Export 2 results:Author [ Title] Type Year
Filters: Author is L. Ouarbya [Clear All Filters]
Formalizing Executable Dynamic and Forward Slicing. Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004). :43–52.. 2004.
A Trajectory-based Strict Semantics for Program Slicing. Theoretical Computer Science. 411:1372–1386.. 2010.