Browsing by Author Binkley, D

Jump to: 0-9 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
or enter first few letters:  
Showing results 1 to 5 of 5
Issue DateTitleAuthor(s)
2004Amorphous procedure extractionHarman, M; Binkley, D; Singh, R; Hierons, RM
2002Code extraction algorithms which unify slicing and concept assignmentHarman, M; Gold, N; Hierons, RM; Binkley, D
2004Loop squashing transformations for amorphous slicingHu, L; Harman, M; Hierons, RM; Binkley, D
1999Program simplification as a means of approximating undecidable propositionsHarman, M; Fox, C; Hierons, RM; Binkley, D; Danicic, S
2010A trajectory-based strict semantics for program slicingBarraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM; Kiss, A; Laurence, MR; Ouarbya, L