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