Items Authored/Edited by Binkley, Dave

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Number of items: 6.

Article

Barraclough, Richard; Binkley, Dave; Danicic, Sebastian; Harman, Mark; Hierons, Robert; Kiss, Akos; Laurence, Mike and Ouarbya, Lahcen. 2010. A trajectory-based strict semantics for program slicing. Theoretical Computer Science, 411(11-13), pp. 1372-1386. ISSN 0304-3975 [Article]

Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos and Korel, Bogdan. 2006. Theoretical foundations of dynamic program slicing. Theoretical Computer Science, 360(1-3), pp. 23-41. ISSN 03043975 [Article]

Binkley, Dave; Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen. 2006. A formal relationship between program slicing and partial evaluation. Formal Aspects of Computing, 18(2), pp. 103-119. ISSN 09345043 [Article]

Book Section

Danicic, Sebastian; Binkley, Dave; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos and Korel, Bogdan. 2005. Minimal slicing and the relationships between forms of slicing. In: , ed. 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 05). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 45-54. [Book Section]

Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos; Ouarbya, Lahcen and Binkley, Dave. 2004. Formalizing executable dynamic and forward slicing. In: , ed. 4th International Workshop on Source Code Analysis and Manipulation (SCAM 04). , Los Alamitos, California, USA: IEEE Computer Society Press, pp. 43-52. [Book Section]

Harman, Mark; Fox, Chris; Hierons, Robert; Binkley, Dave and Danicic, Sebastian. 1999. Program simplification as a means of approximating undecidable propositions. In: , ed. 7th IEEE International Workshop on Program Comprenhesion (IWPC'99). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 208-217. [Book Section]

This list was generated on Thu Dec 2 04:00:37 2021 GMT.