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