rmr@sdcsvax.UUCP (Robert Rother) (11/06/84)
%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