- Michael Laurence
(Completed 2004)
- Equivalence of Liberal Free Linear Program Schemas
is Decidable in Polynmial Time
Prinicipal Supervisor: Sebastian Danicic
Other supervisors: Mark Harman
,Rob Hierons, John Howroyd
- Lahcen Ouarbya
(Completed 2005)
- A new semantics for program slicing
Prinicipal Supervisor: Sebastian Danicic
Other supervisors: Chris Fox
, Mark Harman
, John Howroyd
s.danicic@gold.ac.uk
Seb's Home Page
Last updated 2007-04-30
