Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site ncsu.UUCP Path: utzoo!watmath!clyde!burl!ulysses!allegra!bellcore!decvax!mcnc!ncsu!mauney From: mauney@ncsu.UUCP (Jon Mauney) Newsgroups: net.mag Subject: TOC, ACM TOPLAS, v7 #1, Jan 85 Message-ID: <2803@ncsu.UUCP> Date: Wed, 27-Feb-85 15:45:10 EST Article-I.D.: ncsu.2803 Posted: Wed Feb 27 15:45:10 1985 Date-Received: Sat, 2-Mar-85 03:23:28 EST Organization: N.C. State University, Raleigh Lines: 75 %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