[net.mag] TOC: TOPLAS, July 1985

mauney@ncsu.UUCP (Jon Mauney) (08/29/85)

%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."