Publication

Number of items: 3.
2009
  • A CSP model with flexible parallel termination semantics. (2009) Howells, Paul and d'Inverno, Mark
    • 2006
  • A formal relationship between program slicing and partial evaluation. (2006) Binkley, Dave; Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen
    • 1996
  • Slicing programs in the presence of errors. (1996) Harman, Mark; Simpson, D. J. and Danicic, Sebastian