RWTH Aachen University / University College London / Department of Computer Science / Aachen Department of Computer Science Technical Report Automated Termination Analysis for Programs / /
Person
Carsten Fuhs / Marc Brockschmidt / Florian Frohn / Thomas Str / Peter Schneider-Kamp / /
Position
VP / local program variables VP / VP / the memory cells / VP / t1 / /