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 Home Page
Dept of Computing
Last updated 2010-03-06