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