Items Authored/Edited by Binkley, Dave

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Jump to: 2006 | 2005 | 2004 | 1999
Number of items: 5.

2006

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]

2005

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]

2004

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]

1999

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 Fri Nov 22 03:27:09 2024 GMT.