[continued from previous message]

James E. George Graphical systems and two-dimensional
mathematical expressions . . . . . . . . 30--34
George L. Lazik GRAPHOS: A macro directed system for
two-dimensional syntax translation . . . 35--47
D. R. Morrison and
R. C. Allen, Jr. Shape coefficients for polygons . . . . 48--56
H. E. Kulsrud An extensible system for drawing block
diagrams . . . . . . . . . . . . . . . . 57--65
Michael S. Wolfberg Fundamentals of the AMBIT/L
list-processing language . . . . . . . . 66--75
W. V. Wright The two-dimensional interface of an
interactive system for molecular studies 76--84
H. H. Holmes and
D. M. Austin PICASSO a general graphics modeling
program . . . . . . . . . . . . . . . . 85--92
James H. Griesmer and
Richard D. Jenks SCRATCHPAD: A capsule view . . . . . . . 93--102
Ken Knowlton A report on the use of FORTRAN-coded
EXPLOR for the teaching of computer
graphics and computer art . . . . . . . 103--112
Robert H. Anderson Programming on a tablet: A proposal for
a new notation . . . . . . . . . . . . . 113--123
Jean Saylor The Assistant Mathematician: An
interactive graphic programming language 124--129
Marjorie J. Devaney and
Jeanne Hudgins The terminal control language for the
Madcap programming language . . . . . . 130--136
James S. Miller Two-dimensional characteristics of HAL,
a language for spaceflight applications 137--141
James N. Haag and
Michael A. Kelly and
Paul F. Sherman TWO-D: The USF Beginner's
Two-Dimensional Programming System . . . 142--152
ACM SIGPLAN Notices
Volume 7, Number 11, November, 1972

David A. Fisher A survey of control structures in
programming languages . . . . . . . . . 1--13
Kim Gostelow and
Vincent G. Cerf and
Gerald Estrin and
Saul Volansky Proper termination of flow-of-control in
programs involving concurrent processes 15--27
James B. Morris and
Mark B. Wells The specification of program flow in
Madcap 6 . . . . . . . . . . . . . . . . 28--35
Charles J. Prenner and
Jay M. Spitzen and
Ben Wegbreit An implementation of backtracking for
programming languages . . . . . . . . . 36--44
Paul B. Schneck Automatic recognition of vector and
parallel operations in a higher level
language . . . . . . . . . . . . . . . . 45--52
B. M. Leavenworth Programming with(out) the GOTO . . . . . 54--58
Martin E. Hopkins A case for the GOTO . . . . . . . . . . 59--62
William A. Wulf A case against the GOTO . . . . . . . . 63--69
ACM SIGPLAN Notices
Volume 7, Number 12, December, 1972

William A. Wulf The problem of the definition of
subroutine calling conventions . . . . . 3--8
B. N. Dickman Subroutine interface primitives for ETC 9--19
H. D. Baecker On a missing mode in ALGOL 68 . . . . . 20--30
Mark Rain Storage control in MARY . . . . . . . . 31--39
Eberhard Wegner Tree-structured programs . . . . . . . . 40--42
Per Holager A consolidation of synchronization
primitives . . . . . . . . . . . . . . . 42--52


ACM SIGPLAN Notices
Volume 8, Number 1, January, 1973

Mark Rain Operation expressions in MARY . . . . . 7--14
Edward C. Haines AL: a structured assembly language . . . 15--20
ACM SIGPLAN Notices
Volume 8, Number 2, February, 1973

T. I. Fenner and
M. A. Jenkins and
R. D. Tennent QUEST: the design of a very high level,
pedagogic programming language . . . . . 3--27
W. Wulf and
Mary Shaw Global variable considered harmful . . . 28--34
ACM SIGPLAN Notices
Volume 8, Number 3, March, 1973

Eberhard Wegner A hierarchy of control structures . . . 11--17
Aaron Gurski Job control languages as machine
orientated [sic] languages . . . . . . . 18--23
Mark Rain and
Per Holager The present most recent final word about
labels in MARY . . . . . . . . . . . . . 24--32
ACM SIGPLAN Notices
Volume 8, Number 4, April, 1973

Garth H. Foster File action in APL: building new
additions and placing the house in order 6--15
Edward C. Haines Omitted portions of paper: AL: a
structured assembly language . . . . . . 16--21
ACM SIGPLAN Notices
Volume 8, Number 5, May, 1973

Richard C. Holt Teaching the fatal disease: (or)
introductory computer programming using
PL/I . . . . . . . . . . . . . . . . . . 8--23
Richard Dunn SNOBOL4 as a language for bootstrapping
a compiler . . . . . . . . . . . . . . . 28--32
ACM SIGPLAN Notices
Volume 8, Number 6, June, 1973

Jerry L. Apperson Optimal evaluation order for expressions
with redundant subexpressions . . . . . 1--3
M. S. Blois and
R. R. Henley and
P. LeBeux Frame programming language . . . . . . . 4--6
G. V. Bochmann Compiler generation for attribute
grammars . . . . . . . . . . . . . . . . 7--7
Nancy B. Brooks Tactics, an integrated system for
structured programming . . . . . . . . . 8--11
Necdet Bulut and
M. H. Halstead Invariant properties of algorithms . . . 12--13
N. Buckle Design of a language for high-level data
structures . . . . . . . . . . . . . . . 14--15
Paul A. Castleman PROPHET system . . . . . . . . . . . . . 16--18
Thomas W. Christopher Development of the system programming
language: HARVEY . . . . . . . . . . . . 19--21
R. O. Clark Environmental primitives for programming
languages . . . . . . . . . . . . . . . 22--23
James W. Conklin Design of a language for complex systems 24--25
C. Daquin and
C. Giraud and
B. De La Passardiere and
B. Quement An extensible system for abstract
machines . . . . . . . . . . . . . . . . 25--27
Thomas M. Davis A system for the specification of
programs . . . . . . . . . . . . . . . . 27--29
J. B. Dennis Toward the specification of a common
base language . . . . . . . . . . . . . 29--31
W. P. de Roever Operational and mathematical semantics
for recursive polyadic program schemata 31--34
P. Desjardins A Pascal compiler for the Xerox SIGMA 6 34--36
M. Dupras and
M. Gauthier and
C. Girault Transferability of high level languages 36--37
Richard L. Fairley An interactive system for studying
semantic models of computer programs . . 37--39
Robert A. Fraley High-speed parsing of a superset of
LR(k) grammars . . . . . . . . . . . . . 39--41
H. George Friedman and
Axel-Tobias Schreiner CLEOPATRA: comprehensive language for
elegant operating system and translator
design . . . . . . . . . . . . . . . . . 41--43
E. J. Funk The design and use of understandable,
minimally error-prone programming
languages . . . . . . . . . . . . . . . 43--46
John D. Gannon Language and compiler design to enhance
reliability . . . . . . . . . . . . . . 47--49
M. A. Jenkins A compiler for APL . . . . . . . . . . . 49--50
M. A. Jenkins and
R. D. Tennent The design and implementation of quest,
a very high level pedagogic programming
language . . . . . . . . . . . . . . . . 50--51
Olivier Lecarme Compiler writing system . . . . . . . . 51--54
Robert Lechner and
William Stallings A systems programming language for
minicomputers . . . . . . . . . . . . . 54--56
Henry F. Ledgard Production systems --- or can we do
better than BNF? . . . . . . . . . . . . 56--58
M. Levison QUILL: a programming language for
literary text analysis . . . . . . . . . 58--60
Orlando S. Madrigal A compiler building system for
small-scale computers . . . . . . . . . 60--62
Edward F. Miller Extensions to FORTRAN to support
structured programming (ITRAN) . . . . . 63--64
James B. Morris and
Mark B. Wells The Madcap 6 programming language . . . 64--66
Lawrence Pfeffer DAHLIA: a notation fabrication plan . . 66--70
Lawrence Pfeffer Permanent and transient data structures
and associated optimization techniques 70--72
Lawrence Pfeffer RAMBAM: a notation and methodology for
man-machine dialogue specification . . . 72--74
Terrence Pratt Formal definition of programming
languages . . . . . . . . . . . . . . . 74--76
B. Press Meta-optimizer development . . . . . . . 77--80
Juris Reinfelds Development of interactive languages for
scientific computing: programming
language research report . . . . . . . . 80--81
Bernard J. Robinet Semantics of data structures . . . . . . 82--83
Mary Shaw A system for structured programming . . 84--87
Ian D. Smith A new set theory language . . . . . . . 87--88
Anonymous Implementation of a Pascal compiler for
the CII IRIS 80 computer . . . . . . . . 89--90
W. M. Waite Software engineering: portability . . . 90--92
Larry Weissman Psychological complexity of computer
programs . . . . . . . . . . . . . . . . 92--95
David S. Wile A generative nested-sequential basis for
general-purpose programming languages 96--98
D. B. Wortman Programming language grammar anthology 99--100
Anonymous Abstracts in programming
language-related research . . . . . . . ?? ACM SIGPLAN Notices
Volume 8, Number 7, July, 1973

Jed B. Marti ELMOL: a language for the real time
generation of electronic music . . . . . 23--30
S. Cohen Speakeasy . . . . . . . . . . . . . . . 31--44
ACM SIGPLAN Notices
Volume 8, Number 8, August, 1973

I. Nassi and
B. Shneiderman Flowchart techniques for structured
programming . . . . . . . . . . . . . . 12--26
S. Cohen TSO-speakeasy newsletter #5 . . . . . . 27--32
ACM SIGPLAN Notices
Volume 8, Number 9, September, 1973

Jack B. Dennis Report of session on semantics . . . . . 2--4
Robert Freiburghouse and
Barbara Liskov Report of session on structured
programming . . . . . . . . . . . . . . 5--10
Maria F. Weller Report of session on transferability . . 11--16
Jack Dennis and
Michael D. Schroeder Report of session on concurrency . . . . 17--21
Robert A. Freiburghouse and
Robert M. Graham Report of session on systems programming
languages . . . . . . . . . . . . . . . 22--26
Peter G. Neumann Report of evening session protection . . 27--27
Karl Levitt Report of evening session on
hierarchical methods . . . . . . . . . . 28--29
Paul Abrahams A compiler writer's wishbook for
operating systems . . . . . . . . . . . 30--33
Joseph H. Austin, Jr. Specification languages for control
programs . . . . . . . . . . . . . . . . 34--37
Alan Ballard and
Dennis Tsichritzis System correctness . . . . . . . . . . . 38--41
G. Balpaire and
J. P. Wilmotte Semantic aspects of concurrent processes 42--45
Gérald Belpaire and
Jean Pierre Wilmotte Semantic aspects of concurrent processes 42--45
Daniel M. Berry Towards ISMs for OPSs . . . . . . . . . 46--49
Gregor V. Bochmann Hierarchical language definition . . . . 50--51
B. L. Clark and
J. J. Horning Reflections on a language designed to
write an operating system . . . . . . . 52--56
N. J. Denil Software design with invocation diagrams 57--59
Frank L. Friedman and
Victor B. Schneider A systems implementation language for
small computers . . . . . . . . . . . . 60--63
A. N. Habermann Integrated design . . . . . . . . . . . 64--66
D. Austin Henderson, Jr. A model of a modular interactive system 67--69
Robert G. Herriot GLOSS: A semantic model of programming
languages . . . . . . . . . . . . . . . 70--73
Richard C. Holt and
Marc S. Grushcow A short discussion of interprocess
communication in the SUE/360/370
operating system . . . . . . . . . . . . 74--78
J. D. Ichbiah and
J. P. Rissen and
J. C. Heliard The two-level approach to data
definition and space management in the
LIS system implementation language . . . 79--81
Peter Jensen The grok project data structures and
process communication . . . . . . . . . 82--85
J. C. King Abstract machines and software design 86--88
Paul R. Kosinski A data flow language for operating
systems programming . . . . . . . . . . 89--94
Olivier Lecarme An experience in structured programming
and transferability . . . . . . . . . . 95--96
Theodore A. Linden Proving the adequacy of protection in an
operating system . . . . . . . . . . . . 97--99
Barbara H. Liskov and
Leroy A. Smith SPIL: A language for construction of
reliable system software . . . . . . . . 100--103
M. Donald MacLaren Tasking in standard PL/I . . . . . . . . 104--108
R. M. McKeag Programming languages for operating
systems . . . . . . . . . . . . . . . . 109--111
Alan G. Merten and
Edgar H. Sibley Transferability and translation of data 112--114
James S. Miller A programming language family for the
Navy AADC . . . . . . . . . . . . . . . 115--116
Harlan D. Mills and
Max L. Wilson A Kernel System for information system
development, evolution, and operation 117--119
James B. Morris Programming by semantic refinement . . . 120--122
E. J. Neuhold Towards the formal description of
operating systems . . . . . . . . . . . 123--126
R. Noonan and
V. Basili and
R. Hamlet and
M. Lay and
D. Mills and
J. Turner and
M. Zelkowitz A SIMPL distributed operating system and
its formal definition . . . . . . . . . 127--128
Charles J. Prenner Extensible control structures . . . . . 129--132
William E. Riddle A method for the description and
analysis of complex software systems . . 133--136
David Udin SPECL: A system programming dialect of
ECL . . . . . . . . . . . . . . . . . . 137--139
Gio C. M. Wiederhold The need and techniques to obliterate
control languages . . . . . . . . . . . 140--141
Stephen N. Zilles Procedural encapsulation: A linguistic
protection technique . . . . . . . . . . 142--146
ACM SIGPLAN Notices
Volume 8, Number 10, October, 1973

David Beech and
Michael Marcotty Unfurling the PL/I standard . . . . . . 12--43
F. G. Pagan On the teaching of disciplined
programming . . . . . . . . . . . . . . 44--48

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

[continued from previous message]

Alan J. Perlis The American side of the development of
Algol . . . . . . . . . . . . . . . . . 3--14
Peter Naur The European side of the last phase of
the development of ALGOL 60 . . . . . . 15--44
Anonymous APL language summary . . . . . . . . . . 45--45
Adin D. Falkoff and
Kenneth E. Iverson The evolution of APL . . . . . . . . . . 47--57
Anonymous ACM SIGPLAN history of programming
languages conference APT language
summary . . . . . . . . . . . . . . . . 59--60
Douglas T. Ross Origins of the APT language for
automatically programmed tools . . . . . 61--99
Ted G. Lewis ACM SIGPLAN history of programming
languages conference BASIC language
summary . . . . . . . . . . . . . . . . 101--102
Thomas E. Kurtz BASIC . . . . . . . . . . . . . . . . . 103--118
Anonymous ACM SIGPLAN history of programming
languages conference COBOL 60 language
summary . . . . . . . . . . . . . . . . 119--119
Jean E. Sammet The early history of COBOL . . . . . . . 121--161
Bernard A. Galler The FORTRAN Language . . . . . . . . . . 163--164
John Backus The History of FORTRAN I, II, and III 165--180
Anonymous ACM SIGPLAN history of programming
languages conference GPSS language
summary . . . . . . . . . . . . . . . . 181--182
Geoffrey Gordon The development of the General Purpose
Simulation System (GPSS) . . . . . . . . 183--198
Charles L. Baker ACM SIGPLAN history of programming
languages conference JOSS language
summary . . . . . . . . . . . . . . . . 199--200
T. E. Cheatham, Jr. A brief description of JOVIAL . . . . . 201--202
Jules I. Schwartz The development of JOVIAL . . . . . . . 203--214
John McCarthy A micro-manual for LISP --- not the
whole truth . . . . . . . . . . . . . . 215--216
John McCarthy History of LISP . . . . . . . . . . . . 217--223
Robert F. Rosin ACM SIGPLAN history of programming
languages conference PL/I language
summary . . . . . . . . . . . . . . . . 225--226
George Radin The early history and characteristics of
PL/I . . . . . . . . . . . . . . . . . . 227--241
W. R. Franta ACM SIGPLAN history of programming
languages conference SIMULA language
summary . . . . . . . . . . . . . . . . 243--244
Kristen Nygaard and
Ole-Johan Dahl The development of the SIMULA languages 245--272
Michael D. Shapiro ACM SIGPLAN history of programming
languages conference SNOBOL language
summary . . . . . . . . . . . . . . . . 273--274
Ralph E. Griswold A history of the SNOBOL programming
languages . . . . . . . . . . . . . . . 275--308
R. L. Wexelblat Afterword . . . . . . . . . . . . . . . 309--310
ACM SIGPLAN Notices
Volume 13, Number 9, September, 1978

Paul W. Abrahams Two programming problems . . . . . . . . 28--29
Richard J. LeBlanc Extensions to PASCAL for separate
compilation . . . . . . . . . . . . . . 30--33
W. D. Maurer Register type bits --- a proposal for
efficient instruction repertoire
extension . . . . . . . . . . . . . . . 34--35
Mary Shaw and
Paul Hilfinger and
Wm. A. Wulf Language design for the Ironman
requirement: reference manual . . . . . 36--58
M. Shaw and
P. Hilfinger and
W. A. Wulf TARTAN-language design for the Ironman
requirement: reference manual . . . . . 36--58
Mary Shaw and
Paul Hilfinger and
Wm. A. Wulf Language design for the Ironman
requirement: notes and examples . . . . 59--75
M. Shaw and
P. Hilfinger and
W. A. Wulf TARTAN-language design for the Ironman
requirement: notes and examples . . . . 59--75
E. Skordalakis and
G. Papakonstantinou Coroutines in FORTRAN . . . . . . . . . 76--84
ACM SIGPLAN Notices
Volume 13, Number 10, October, 1978

E. W. Dijkstra On the BLUE language submitted to the
DoD . . . . . . . . . . . . . . . . . . 10--15
E. W. Dijkstra On the GREEN language submitted to the
DoD . . . . . . . . . . . . . . . . . . 16--21
E. W. Dijkstra On the YELLOW language submitted to the
DoD . . . . . . . . . . . . . . . . . . 22--26
E. W. Dijkstra On the RED language submitted to the DoD 27--32
John S. James FORTH for microcomputers . . . . . . . . 33--39
George E. Lindamood Some delitescent concepts in computer
architecture . . . . . . . . . . . . . . 40--41
Jed Marti The META/REDUCE Translator Writing
System . . . . . . . . . . . . . . . . . 42--49
Linda Zucconi A comment on Chapin's and Denniston's
`Characteristics of a structured
program' . . . . . . . . . . . . . . . . 50--51
ACM SIGPLAN Notices
Volume 13, Number 11, November, 1978

R. L. Wexelblat New books III . . . . . . . . . . . . . 8--10
John E. Crider Structured formatting of Pascal programs 15--22
Irving B. Elliott Optimization of the compiling of
subscripted array references . . . . . . 23--29
T. A. Kovats Program readability. Closing keywords
and prefix-style intermediate keywords 30--42
David C. Pflasterer The CAMIL programming language . . . . . 43--55
Jean E. Sammet Roster of programming languages for
1976--77 . . . . . . . . . . . . . . . . 56--85
ACM SIGPLAN Notices
Volume 13, Number 12, December, 1978

F. L. Bauer and
M. Broy and
R. Gnatz and
W. Hesse and
B. Krieg-Brückner and
H. Partsch and
P. Pepper and
H. Wössner Towards a wide spectrum language to
support program specification and
program development . . . . . . . . . . 15--24
B. D. Chaudhary and
H. V. Sahasrabuddhe Suggestions about a specification
technique (program) . . . . . . . . . . 25--28
James L. Elshoff and
Michael Marcotty On the use of the cyclomatic number to
measure program complexity . . . . . . . 29--40
P. E. Lauer and
M. W. Shields Abstract specification of resource
accessing disciplines: adequacy,
starvation, priority and interrupts
(programming theory) . . . . . . . . . . 41--59
Peter L. Montgomery Evaluation of Boolean expressions on
one's complement machines . . . . . . . 60--72
R. A. Nelson XL: a language structure . . . . . . . . 73--87
V. Sinha and
K. Vinod Kumar Efficient evaluation of Boolean
expressions . . . . . . . . . . . . . . 88--97
Richard L. Sites Programming tools: statement counts and
procedure timings . . . . . . . . . . . 98--101
Peter Wegner Supporting a flourishing language
culture . . . . . . . . . . . . . . . . 102--104


ACM SIGPLAN Notices
Volume 14, Number 1, January, 1979

Makoto Arisawa and
Minoru Iuchi Fortran $+$ preprocessor $=$ Utopia 84 12--15
J. Ciesinger A bibliography of error-handling . . . . 16--26
J. G. Hunt Messages in typed languages . . . . . . 27--45
Wilf R. LaLonde A finite state approach to operator
classification . . . . . . . . . . . . . 46--54
James R. Low A short note on scanning signed integers 55--56
John R. Metzner A graded bibliography on macro systems
and extensible languages . . . . . . . . 57--68
R. Moya and
I. Ramos SP-grammars (context-free grammars for
structured programming) . . . . . . . . 69--76
James M. Sakoda DYSTAL 2: a general purpose extension of
FORTRAN . . . . . . . . . . . . . . . . 77--90
Ian Sommerville S-SNOBOL: structured SNOBOL4 . . . . . . 91--99
Kuo-Chung Tai On the implementation of parsing tables 100--101
R. C. Backhouse and
S. Anderson Least-cost repair of syntax errors . . . 102--104
ACM SIGPLAN Notices
Volume 14, Number 2, February, 1979

Robert G. Clark Interactive input in PASCAL . . . . . . 9--13
Irving B. Elliott DLP: a design language pre-processor . . 14--20
Glenn A. Jackson Two-dimensional grammars and structured
programming languages . . . . . . . . . 21--28
Rob Kling and
Walter Scacchi The DoD common high order programming
language effort (DoD-1): What will the
impacts be? . . . . . . . . . . . . . . 29--43
Barry K. Rosen Stickiness and liveness . . . . . . . . 44--45
V. F. Turchin A supercompiler system based on the
language REFAL . . . . . . . . . . . . . 46--54
Paulo A. S. Veloso Traversable stack with fewer errors . . 55--59
David A. Watt An extended attribute grammar for Pascal 60--74
ACM SIGPLAN Notices
Volume 14, Number 3, March, 1979

T. H. Axford and
Diana Burkhardt and
W. P. Dodd and
Susan Laflin and
D. G. Parkyn and
P. Ramsay ATOL: a simple language with powerful
data structuring facilities . . . . . . 5--15
I. B. Elliot DLP, a design language pre-processor . . 14--20
Ned Chapin Full report of the Flowchart Committee
on ANS Standard X3.5-1970 . . . . . . . 16--27
Sam Kamin Some definitions for algebraic data type
specifications . . . . . . . . . . . . . 28--37
L. Lamport A general construction for expressing
repetition . . . . . . . . . . . . . . . 38--42
B. K. Rosen Stickiness and liveness (program
variables) . . . . . . . . . . . . . . . 44--45
ACM SIGPLAN Notices
Volume 14, Number 4, April, 1979

Paul Abrahams The map coloring problem . . . . . . . . 10--11
Karel Culik The cyclomatic number and the normal
number of programs . . . . . . . . . . . 12--17
Ralph E. Griswold and
David R. Hanson and
John T. Korb The Icon programming language: an
overview . . . . . . . . . . . . . . . . 18--31
Alois Glanc On expressing control and data
structures in predicate logic language
ALGOL M . . . . . . . . . . . . . . . . 32--34
Peter Grogono On layout, identifiers and semicolons in
Pascal programs . . . . . . . . . . . . 35--40
Roy Newton On exception handling with the `IRONMAN'
languages, GREEN and REDL . . . . . . . 41--54
Roy Newton Some exception handling problems in
language systems displaying a multi-path
capability . . . . . . . . . . . . . . . 55--63
Dean Schulz The Intel Fortran-80 compiler for the
8080 and 8085 microprocessors . . . . . 64--76
Swiatomir G. Zabek Decomposition of complex selection
criteria. (Programming) . . . . . . . . 77--80
ACM SIGPLAN Notices
Volume 14, Number 5, May, 1979

Giuseppina Gini and
Maria Gini and
Renato Gini and
Dario Giuse A multi-task system for robot
programming . . . . . . . . . . . . . . 11--18
Anonymous APL comparison chart . . . . . . . . . . 19--20
V. Chinnaswamy Translation of decision tables into
computer programs with the use of
Carnaugh maps . . . . . . . . . . . . . 21--23
P. Deransart The language LISP does not exist? . . . 24--27
Frank DeRemer and
Philip Levy and
Steve Hanson and
Philip Jackson and
Richard Jullig and
Tom Pittman Summary of the characteristics of
several `modern' programming languages 28--45
S. Hanson and
P. Jackson and
R. Jullig and
P. Levy and
T. Pittman Summary of the characteristics of
several `modern' programming languages 28--45
Deepak Kapur Specifications of Majster's traversable
stack and Veloso's traversable stack . . 46--53
Robert K. Smart Micro Extensible Programming Language 54--63
ACM SIGPLAN Notices
Volume 14, Number 6a, June, 1979

Jean D. Ichbiah Preliminary Ada Reference Manual . . . . 1--145
ACM SIGPLAN Notices
Volume 14, Number 6b, June, 1979

Jean D. Ichbiah and
Bernd Krieg-Brueckner and
Brian A. Wichmann and
John G. P. Barnes and
Olivier Roubine and
Jean-Claude Heliard Rationale for the design of the Ada
programming language . . . . . . . . . . 1--261
ACM SIGPLAN Notices
Volume 14, Number 7, July, 1979

B. T. Denvir On orthogonality in programming
languages . . . . . . . . . . . . . . . 18--30
Howard Fosdick High-level languages for operating
systems development --- a historical
overview . . . . . . . . . . . . . . . . 31--37
Dick Grune Some statistics on ALGOL 68 programs . . 38--46
M. A. Hennell The role of procedural parameters in
high order languages . . . . . . . . . . 47--50
B. J. MacLennan Observations on the differences between
formulas and sentences and their
application to programming language
design . . . . . . . . . . . . . . . . . 51--61
Andrew D. McGettrick Aspects of the ALGOL 68 mode structure 62--77
Fernando Orejas On the power of conditional
specifications . . . . . . . . . . . . . 78--81
Naveen Prakash and
Y. K. Sharma An integrated data base language . . . . 82--96
ACM SIGPLAN Notices
Volume 14, Number 8, August, 1979

James B. Morris Data abstraction: A static
implementation strategy . . . . . . . . 1--7
Richard C. Holt and
David B. Wortman A model for implementing Euclid modules
and type templates . . . . . . . . . . . 8--12
Graeme Williams Program checking . . . . . . . . . . . . 13--25
Kari-Jouko Räihä Dynamic allocation of space for
attribute instances in multi-pass
evaluators of attribute grammars . . . . 26--38
James R. Cordy and
Richard C. Holt and
David B. Wortman Semantic charts: A diagrammatic approach
to semantic processing . . . . . . . . . 39--49
Susan L. Graham and
William N. Joy and
O. Roubine Hashed symbol tables for languages with
explicit scope control . . . . . . . . . 50--57
Michael K. Donegan and
Robert E. Noonan and
Stefan Feyock A code-generator generator language . . 58--64
Roderic G. G. Cattell and
Joseph M. Newcomer and
Bruce W. Leverett Code Generation in a Machine-Independent
Compiler . . . . . . . . . . . . . . . . 65--75
Mark Kahrs Implementation of an Interactive
Programming System . . . . . . . . . . . 76--82
Janet Fabri Automatic storage optimization . . . . . 83--91
G. B. Bonkowski and
W. M. Gentleman and
M. A. Malcolm Porting the Zed compiler . . . . . . . . 92--97
Stuart I. Feldman Implementation of a portable Fortran 77
compiler using modern tools . . . . . . 98--106
Paul W. Abrahams The CIMS PL/I compiler . . . . . . . . . 107--116
G. J. Hansen and
G. A. Shoults and
J. D. Cointment Construction of a transportable,
multi-pass compiler for extended Pascal 117--126
A. Rudmik and
E. S. Lee Compiler design for efficient code
generation and program optimization . . 127--138
Richard J. LeBlanc and
Charles N. Fischer On implementing separate compilation in
block-structured languages . . . . . . . 139--143
Uwe F. Pleban The use of transition matrices in a
recursive-descent compiler . . . . . . . 144--151
D. R. Milton and
L. W. Kirchhoff and
B. R. Rowland An ALL(1) compiler generator . . . . . . 152--157
Ajit B. Pai and
Richard B. Kieburtz Global context recovery: A new strategy
for parser recovery from syntax errors 158--167
Susan L. Graham and
Charles B. Haley and
William N. Joy Practical LR Error Recovery . . . . . . 168--175
Frank DeRemer and
Thomas J. Pennello Efficient computation of LALR(1)
look-ahead sets . . . . . . . . . . . . 176--187
Dennis J. Frailey An Intermediate Language For Source and
Target Independent Code Optimization . . 188--200
Daniel R. Perkins and
Richard L. Sites Machine-independent PASCAL code
optimization . . . . . . . . . . . . . . 201--207
Philip A. Nelson A Comparison of PASCAL Intermediate
Languages . . . . . . . . . . . . . . . 208--213
J. Eugene Ball Predicting the effects of optimization
on a procedure body (program compilers) 214--220
Richard L. Sites Machine-independent register allocation 221--225
Ronald J. Mintz and
Gerald A. Fisher, Jr. and
Micha Sharir The design of a global optimizer
(program compilers) . . . . . . . . . . 226--234
ACM SIGPLAN Notices
Volume 14, Number 9, September, 1979

Paul Abrahams The PL/I standard: an apostate's view 15--16
J. E. Ball and
G. J. Williams and
J. R. Low Preliminary ZENO language description 17--34
Daniel M. Berry and
Richard L. Schwartz Type equivalence in strongly typed
languages: one more look . . . . . . . . 35--41
G. G. Gustafson Some practical experiences formatting
Pascal programs . . . . . . . . . . . . 42--49
David C. Pflasterer Application of a remote code generator 50--58
Samuel T. Redwine, Jr. Using COBOL macroprocessing for reliable
parameter passing . . . . . . . . . . . 59--60
Arthur Sale Scope and Pascal . . . . . . . . . . . . 61--63
John F. Shoch An overview of the programming language
Smalltalk-72 . . . . . . . . . . . . . . 64--73
John Ramsdell Prettyprinting structured programs with
connector lines . . . . . . . . . . . . 74--75
B. Wallace More on interactive input in PASCAL . . 76 ACM SIGPLAN Notices
Volume 14, Number 10, October, 1979

Shimon Cohen The A-TABLE data-type for LISP systems 36--47
J. B. Marti and
A. C. Hearn and
M. L. Griss and
C. Griss Standard Lisp Report . . . . . . . . . . 48--68
Edmond Schonberg Hierarchical design and efficient
implementation in SETL: A case study . . 69--74
Tim Teitelbaum The Cornell Program Synthesizer: a
syntax-directed programming environment 75--75
Paulo A. S. Veloso Traversable stack with fewer errors:
addenda and corrigenda . . . . . . . . . 76--76
R. Barnes A working definition of the proposed
extensions for PL/I real-time
applications . . . . . . . . . . . . . . 77--99
ACM SIGPLAN Notices
Volume 14, Number 11, November, 1979

J. A. Bergstra and
J. V. Tucker On the adequacy of finite equational
methods for data type specification . . 13--18
Charles Crowley and
Gary Klimowicz A note on procedure timing . . . . . . . 19--22
David Feign A note on loop `optimization' . . . . . 23--25
Gerald A. Fisher, Jr. and
Manfred Weber LALR(1) parsing for languages without
reserved words . . . . . . . . . . . . . 26--30
D. M. Dungan Bibliography on data types . . . . . . . 31--59
R. F. Keller On selective and repetitive constructs 60--63
Janusz W. Laski An approach to loop programs debugging 64--72
Janusz W. Laski On readability of programs with loops 73--83
James M. Nead On the semantics of control statements 84--96
Colin Runciman Scarcely variabled programming and
Pascal . . . . . . . . . . . . . . . . . 97--106
Antonio Salvadori and
Christine Dumont Some inconsistencies in programming
language implementation . . . . . . . . 107--109
B. Srinivasan and
V. Gopalakrishna Control flow complexity and
structuredness of programs . . . . . . . 110--115
Th. A. Zoethout and
E. I. N. Stein Why the goto is harmful . . . . . . . . 116--122
ACM SIGPLAN Notices
Volume 14, Number 12, December, 1979

P. Wegner Programming with ADA: an introduction by
means of graduated examples . . . . . . 1--46
R. Bond Another note on Pascal indention . . . . 47--49
Anthony C. Hearn and
Arthur C. Norman A One-Pass Prettyprinter . . . . . . . . 50--58
C. Bron and
E. J. Dijkstra A discipline for the programming of
interactive I/O in Pascal . . . . . . . 59--61
Norman L. Soong An overview of an organized industrial
research and development activity for
language and language processors . . . . 62--63
H. C. Gyllstrom and
R. C. Knippel and
L. C. Ragland and
K. E. Spackman The Universal Compiling System . . . . . 64--70
H. C. Heacox RDL: a language for software development 71--79
Stephen R. Greenwood MACRO: a programming language . . . . . 80--91
Thomas N. Turba General Syntax Analyzer (GSA) . . . . . 92--109
Jolene J. Hart The Advanced Interactive Debugging
System (AIDS) . . . . . . . . . . . . . 110--121
Wm. F. Rohde Language tools for data access: past,
present and future . . . . . . . . . . . 122--141


ACM SIGPLAN Notices
Volume 15, Number 2, February, 1980

Linda Zucconi A comment on ``Control flow complexity
and structuredness of programs'' by
Srinivasan and Gopalakrishna . . . . . . 82--84

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)