Detecting BV / Hitachi Advanced Research Laboratory / /
Country
Japan / Denmark / /
Facility
Computer Science University of Copenhagen Universitetsparken / Hitachi Advanced Research Laboratory / University of Tokyo / University of Copenhagen / Institute of Computer Science / /
IndustryTerm
term rewriting systems / /
Organization
University of Tokyo / Computer Science University of Copenhagen Universitetsparken / University of Copenhagen / Institute of Computer Science / /
Person
Masami Hagiya / Akihiko Takano / Martin Koch / Finn Schiermer Andersen / Jesper Jørgensen / Neil D. Jones / Peter Holst Andersen / Peter Sestoft / Tommy Højfeld Olesen / / /
Position
author / supervisor / Professor / LOOP program interpreter / /
Terminator II: Stopping Partial Evaluation of Fully Recursive Programs Master’s Thesis Arne John Glenstrup June 13, 1999