Browsing by Author Danicic, S
Showing results 10 to 17 of 17
< previous
Issue Date | Title | Author(s) |
---|---|---|
2001 | Node coarsening calculi for program slicing | Harman, M; Hierons, RM; Danicic, S; Howroyd, J; Laurence, MR; Fox, C |
2011 | On the computational complexity of dynamic slicing problems for program schemas | Danicic, S; Hierons, RM; Laurence, MR |
2001 | Pre/post conditioned slicing | Harman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J |
1999 | Program simplification as a means of approximating undecidable propositions | Harman, M; Fox, C; Hierons, RM; Binkley, D; Danicic, S |
2005 | Static program slicing algorithms are minimal for free liberal program schemas | Danicic, S; Fox, C; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR |
2005 | Static program slicing algorithms are minimal for free liberal program schemas | Danicic, S; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR |
2010 | A trajectory-based strict semantics for program slicing | Barraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM; Kiss, A; Laurence, MR; Ouarbya, L |
2002 | VADA: A transformation-based system for variable dependence analysis | Harman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S; Wegener, J |