External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 18, Issue 1-2

    5 -- 6Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi. Editorial
    7 -- 8Harry G. Mairson. Robert Paige (1947-1999)
    9 -- 11Alan Siegel. Remembrances of Bob Paige
    13 -- 13Martin Davis. An Appreciation of Bob Paige
    15 -- 49Deepak Goyal. Transformational Derivation of an Improved Alias Analysis Algorithm
    51 -- 77Jules Desharnais, Bernhard Möller. Least Reflexive Points of Relations
    79 -- 120Nils Klarlund. Relativizations for the Logic-Automata Connection
    121 -- 210Alberto Pettorossi, Maurizio Proietti, Sophie Renault. Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
    211 -- 235Robert Paige. An NSF Proposal
    runs on