Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site sdcsvax.UUCP
Path: utzoo!watmath!clyde!bonnie!akgua!sdcsvax!rmr
From: rmr@sdcsvax.UUCP (Robert Rother)
Newsgroups: net.mag
Subject: TOC for IEEE Software Oct 84
Message-ID: <451@sdcsvax.UUCP>
Date: Mon, 5-Nov-84 23:18:58 EST
Article-I.D.: sdcsvax.451
Posted: Mon Nov  5 23:18:58 1984
Date-Received: Thu, 8-Nov-84 00:48:08 EST
Distribution: net
Organization: EECS Dept. U.C. San Diego
Lines: 77

%A Mary Shaw
%T Abstraction Techniques in Modern Programming Languages
%J Software
%I IEEE
%V 1
%N 4
%P 10-26
%D October 1984
%X Modern programming languages depend on abstraction: they manage complexity
by emphasizing what is significant to the user and suppressing what is not.

%A Tracy Larrabee
%A Chad Leland Mitchell
%T Gambit: A Prototyping Approach to Video Games Design
%J Software
%I IEEE
%V 1
%N 4
%P 28-36
%D October 1984
%X Video game designers don't have to be assembly language programmers.  Their
creative talents can be expressed in a prototyping language.

%A Jeffery Scott Vitter
%T US&R: A New Framework for Redoing
%J Software
%I IEEE
%V 1
%N 4
%P 39-52
%D October 1984
%X Undo, Skip, & Redo - a new interactive approach to user recovery - offers
significant advantages over current undo/redo packages.

%A Ted G. Lewis
%A Keith R. Spitz
%A Paul E. McKenney
%T An Interleave Principle for Demonstrating Concurrent Programs
%J Software
%I IEEE
%V 1
%N 4
%P 54-64
%D October 1984
%X Although they want to know whether their concurrent programs are working
properly, programmers mey not need a rigorous proof of correctness.

%A Philippe Kruchten
%A Edmond Schonberg
%A Jacob Schwartz
%T Software Prototyping Using the SETL Programming Language
%J Software
%I IEEE
%V 1
%N 4
%P 66-75
%D October 1984
%X With increased computational power available, programming languages
can balance efficiency with expressivity.  This flexibility improves rapid
prototyping of complex design changes.

%A Rodney Farrow
%T Generating a Production Compiler from an Attibute Grammar
%J Software
%I IEEE
%V 1
%N 4
%P 77-93
%D October 1984
Must automatically generated compilers use inordinate amounts of memory?  Here
is evidence that AG-based systems hold the potential for efficient commercial
compilers.
-- 
-------------------
Robert Rother
UUCP: sdcsvax!rmr 	ARPA: rother@seismo
      seismo!rother	      rother@nosc