External Links

    Journal: IEEE Trans. Software Eng.

    Volume 3, Issue 6

    377 -- 385Nachum Dershowitz, Zohar Manna. The Evolution of Programs: Automatic Program Modification
    386 -- 393Michael R. Paige. On Partitioning Program Graphs
    394 -- 405Jean-Loup Baer, Carla Schlatter Ellis. Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment
    406 -- 415Gruia-Catalin Roman. An Argument in Favor of Mechanized Software Production
    416 -- 450Michael Marcotty, Frederick G. Sayward. The Definition Mechanism for Standard PL/I
    451 -- 467Rangasami L. Kashyap, S. K. C. Subas, S. Bing Yao. Analysis of the Multiple-Attribute-Tree Data-Base Organization
    467 -- 475Gary J. Nutt. A Parallel Processor Operating System Comparison
    476 -- 480R. R. Oldehoeft. A Contrast Between Language Level Measures
    runs on