Publications

Export 5 results:
Author [ Title(Desc)] Type Year
Filters: Author is D. Binkley  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
Binkley D, Danicic S, Gyimóthy T, Harman M, Kiss Á, Korel B.  2006.  A Formalisation of the Relationship between Forms of Program Slicing. Science of Computer Programming. 62:228–252.
Binkley D, Danicic S, Gyimóthy T, Harman M, Kiss Á, Ouarbya L.  2004.  Formalizing Executable Dynamic and Forward Slicing. Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004). :43–52.
M
Binkley D, Danicic S, Gyimóthy T, Harman M, Kiss Á, Korel B.  2005.  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.
T
Binkley D, Danicic S, Gyimóthy T, Harman M, Kiss Á, Korel B.  2006.  Theoretical Foundations of Dynamic Program Slicing. Theoretical Computer Science. 360:23–41.
Barraclough RW, Binkley D, Danicic S, Harman M, Hierons RM, Kiss Á, Laurence M, Ouarbya L.  2010.  A Trajectory-based Strict Semantics for Program Slicing. Theoretical Computer Science. 411:1372–1386.