mauney@ncsu.UUCP (Jon Mauney) (02/27/85)
%A David Barstow %T On Convergence Toward a Database of Program Transformations %J TOPLAS %V 7 %N 1 %P 1-9 %D January 1985 %A Pamela Zave %T A Distributed Alternative to Finite-State-Machine Specifications %J TOPLAS %V 7 %N 1 %P 10-36 %D January 1985 %A Jean-Francois Bergeretti %A Bernard A. Carre %T Information-Flow and Data-Flow Analysis of while-Programs %J TOPLAS %V 7 %N 1 %P 37-61 %D January 1985 %A David R. Fuchs %A Donald E. Knuth %T Optimal Prepaging and Font Caching %J TOPLAS %V 7 %N 1 %P 62-79 %D January 1985 %A David Gelernter %T Generative Communication in Linda %J TOPLAS %V 7 %N 1 %P 80-112 %D January 1985 %A Joseph L. Bates %A Robert L. Constable %T Proofs as Programs %J TOPLAS %V 7 %N 1 %P 113-136 %D January 1985 %A Douglas D. Dunlop %A Victor R. Basili %T Generalizing Specifications for Uniformly Implemented Loops %J TOPLAS %V 7 %N 1 %P 137-158 %D January 1985 %A Joseph C. H. Park %A K. M. Choe %A C. H. Chang %T A New Analysis of LALR Formalisms %J TOPLAS %V 7 %N 1 %P 159-175 %D January 1985 -- *** REPLACE THIS LINE WITH YOUR SIGNATURE *** Jon Mauney mcnc!ncsu!mauney C.S. Dept, North Carolina State University