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!gamma!epsilon!zeta!sabre!petrus!bellcore!decvax!mcnc!ncsu!mauney
From: mauney@ncsu.UUCP (Jon Mauney)
Newsgroups: net.mag
Subject: TOC: TOPLAS, July 1985
Message-ID: <2930@ncsu.UUCP>
Date: Thu, 29-Aug-85 15:21:55 EDT
Article-I.D.: ncsu.2930
Posted: Thu Aug 29 15:21:55 1985
Date-Received: Thu, 5-Sep-85 06:43:23 EDT
Organization: N.C. State University, Raleigh
Lines: 70

%A Flemming Nielson
%T Program transformations in a denotational setting
%J TOPLAS
%V 7
%N 3
%P 359-379
%D JUL 1985
%K data flow analysis, abstract interpretation, program transformation

%A George S. Avrunin
%A Jack C. Wileden
%T Describing and analyzing distributed software system designs
%J TOPLAS
%V 7
%N 3
%P 380-403 
%D JUL 1985
%K analysis of software design, design notation, distributed mutual exclusion,
distributed software systems, software design tools 

%A David R. Jefferson
%T Virtual time
%J TOPLAS
%V 7
%N 3
%P 404-425 
%D JUL 1985
%K concurrency control, simulation, Time Warp

%A James Donahue
%A Alan Demers
%T Data types are values
%J TOPLAS
%V 7
%N 3
%P 426-445  
%D JUL 1985
%K data types, polymorphism

%A Nachum Dershowitz
%T Program abstraction and instantiation
%J TOPLAS
%V 7
%N 3
%P 446-477 
%D JUL 1985
%K abstraction, analogy, instantiation, program schemata

%A Helmut Richter
%T Noncorrecting syntax error recovery
%J TOPLAS
%V 7
%N 3
%P 478-489 
%D JUL 1985
%K error recovery, syntax error

%A R. S. Bird
%T Addendum to "the promotion and accumulation strategies in
transformational programming" 
%J TOPLAS
%V 7
%N 3
%P 490-492 
%D JUL 1985

-- 

Jon Mauney,    mcnc!ncsu!mauney       "The door's not shut on my genius, but...
North Carolina State University        I just don't have the time."