Goldsmiths Department of Computing - Internal Technical Reports

  1. Danicic, Hierons & Laurence: Decidability of Strong Equivalence for Subschemas of a Class of Linear, Free, near-Liberal Program Schemas
  2. Danicic, Hierons & Laurence: On the computational complexity of dynamic slicing problems for program schemas
  3. Danicic, Hierons & Laurence: Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas
  4. Grierson: Maximilan: A Cross-Platform C++ Audio Synthesis Library for Artists Learning to Program


s.danicic@gold.ac.uk
Sebastian Danicic BSc MSc PhD (Reader in Computer Science)
Dept of Computing, Goldsmiths, University of London, London SE14 6NW
Last updated 2011-06-20