ACM SIGPLAN Notices
Volume 8, Number 11, November, 1973

Hamilton Richards and
Roy J. Zingg The logical structure of the memory
resource in the symbol-2R computer . . . 1--10
J. W. Anderberg and
C. L. Smith High-level language translation in
symbol 2R . . . . . . . . . . . . . . . 11--19
P. C. Hutchison and
K. Ethington Program execution in the symbol 2R
computer . . . . . . . . . . . . . . . . 20--26
Hamilton Richards and
Charles Wright Introduction to the symbol 2R
programming language . . . . . . . . . . 27--33
William C. Nielsen Design of an aerospace computer for
direct HOL execution . . . . . . . . . . 34--42
Stanley M. Nissen and
Steven J. Wallach The all applications digital computer 43--51
James S. Miller and
Woodrow H. Vandever Instruction architecture of an aerospace
multiprocessor . . . . . . . . . . . . . 52--60
Joel F. Bartlett The HP 3000 computer system . . . . . . 61--69
Howard M. Bloom Structure of a direct high-level
language processor . . . . . . . . . . . 70--80
Robert G. Herriot GLOSS: a high level machine . . . . . . 81--90
L. N. McMahan and
E. A. Feustel Implementation of a tagged architecture
for block structured languages . . . . . 91--100
Andrew M. Welin The internal machine . . . . . . . . . . 101--108
S. C. Schroeder and
L. E. Vaughn A high order language optimal execution
processor: \underlineFast
\underlineIntent \underlineRecognition
\underlineSys\underlinetem (FIRST) . . . 109--116
Lawrence J. Schutte A report on the value of some advanced
high level language operators on current
sequential computers . . . . . . . . . . 117--123
Gary A. Sitton and
Thomas A. Kendrick and
A. Gil Carrick The PL/EXUS language and virtual machine 124--130
Leonard S. Haynes Structure of a Polish String language
for an Algol 60 language processor . . . 131--140
L. M. Chirica and
T. A. Dreisbach and
D. F. Martin and
J. G. Peetz and
A. Sorkin Two parallel EULER run time models: the
dangling reference, imposter
environment, and label problems . . . . 141--151
Victor R. Basili and
Albert J. Turner A hierarchical machine model for the
semantics of programming languages . . . 152--164
D. M. Berry and
L. Chirica and
J. B. Johnston and
D. F. Martin and
A. Sorkin On the time required for retention . . . 165--178
ACM SIGPLAN Notices
Volume 8, Number 12, December, 1973

Johannes J. Martin The 'natural' set of basic control
structures . . . . . . . . . . . . . . . 5--14
R. A. Krutar Restricted global variables in Algol 60 15--17
James E. George and
Gary R. Sager Variables: bindings and protection . . . 18--29


ACM SIGPLAN Notices
Volume 9, Number 1, January, 1974

Thomas I. M. Ho Review of ``On programming: an interim
report on the SETL project, installment
II: the SETL language and examples of
its use by J. T. Schwartz. New York
University, 1973'' . . . . . . . . . . . 6--7
Frank L. Friedman and
Victor B. Schneider A programming language for mini-computer
systems . . . . . . . . . . . . . . . . 8--32
ACM SIGPLAN Notices
Volume 9, Number 2, February, 1974

Ralph E. Griswold Suggested revisions and additions to the
syntax and control mechanisms of SNOBOL
4 . . . . . . . . . . . . . . . . . . . 7--23
Jacob Palme SIMULA as a tool for extensible program
products . . . . . . . . . . . . . . . . 24--40
ACM SIGPLAN Notices
Volume 9, Number 3, March, 1974

Neodet Bulut and
Maurice H. Halstead Impurities found in algorithm
implementations . . . . . . . . . . . . 9--12
Richard H. Karpinski An unstructured view of structured
programming . . . . . . . . . . . . . . 12--20
ACM SIGPLAN Notices
Volume 9, Number 4, April, 1974

John Backus Function level programs as mathematical
objects . . . . . . . . . . . . . . . . 1--10
B. M. Leavenworth and
J. E. Sammet An overview of nonprocedural languages 1--12
John Guttag and
James Horning and
John Williams FP with data abstraction and strong
typing . . . . . . . . . . . . . . . . . 11--24
C. W. Goldsmith The design of a procedureless
programming language . . . . . . . . . . 13--24
Philip Wadler Applicative style programming, program
transformation, and list operators . . . 25--32
M. M. Hammer and
W. G. Howe and
I. Wladawsky An interactive business definition
system . . . . . . . . . . . . . . . . . 25--33
N. Islam and
T. J. Myers and
P. Broome A simple optimizer for FP-like languages 33--40
J. Earley High level operations in automatic
programming . . . . . . . . . . . . . . 34--42
Richard B. Kieburtz and
Jonathan Shultis Transformations of FP program schemes 41--48
J. T. Schwartz Automatic and semiautomatic optimization
of SETL . . . . . . . . . . . . . . . . 43--49
G. Berry Programming with concrete data
structures and sequential algorithms . . 49--58
Barbara Liskov and
Stephen Zilles Programming with abstract data types . . 50--59
D. Kapur and
D. R. Musser and
A. A. Stepanov Operators and algebraic structures . . . 59--64
R. C. T. Lee and
S. K. Chang Structured programming and automatic
program synthesis . . . . . . . . . . . 60--70
John Darlington and
Mike Reeve ALICE: a multi-processor reduction
machine for the parallel evaluation CF
applicative languages . . . . . . . . . 65--76
B. Shneiderman and
P. Scheuermann Structured data structures . . . . . . . 71--72
R. E. Fairley Continuous system simulation languages:
design principles and implementation
techniques . . . . . . . . . . . . . . . 73--81
A. J. Catto and
J. R. Gurd Resource management in dataflow . . . . 77--84
Wing Cheung Tam and
W. J. Karplus PDEL-ID: an extension of PDEL for
distributed parameter system
identification . . . . . . . . . . . . . 82--90
D. A. Turner The semantic elegance of applicative
languages . . . . . . . . . . . . . . . 85--92
G. E. Heidorn English as a very high level language
for simulation programming . . . . . . . 91--100
Gyula Magó Copying operands versus copying results:
A solution to the problem of large
operands in FFP'S . . . . . . . . . . . 93--98
Donald F. Stanat and
E. Hollins Williams, Jr. Optimal associative searching on a
cellular computer . . . . . . . . . . . 99--106
R. D. Jenks The SCRATCHPAD language . . . . . . . . 101--111
H. A. Presnell and
R. P. Pargas Communication along shortest paths in a
tree machine . . . . . . . . . . . . . . 107--114
M. Levison The design and implementation of a very
high level language for literary
scholars . . . . . . . . . . . . . . . . 112--117
Donald MacDavid Tolle Implanting FFP trees in binary trees: An
architectural proposal . . . . . . . . . 115--122
S. Cohen Speakeasy an evolutionary system . . . . 118--126
Robert M. Keller and
Gary Lindstrom Applications of feedback in functional
programming . . . . . . . . . . . . . . 123--130
E. W. Ziegler An introduction to the UMTA
specification language . . . . . . . . . 127--132
Robert M. Keller and
M. Ronan Sleep Applicative caching: Programmer control
of object sharing and lifetime in.
distributed implementations of
applicative languages . . . . . . . . . 131--140
Bengt Nordström Programming in Constructive Set Theory:
Some examples . . . . . . . . . . . . . 141--154
Michel Sintzoff Proof-oriented and applicative
valuations in definitions of algorithms 155--162
John S. Conery and
Dennis F. Kibler Parallel interpretation of logic
programs . . . . . . . . . . . . . . . . 163--170
Keith L. Clark and
Steve Gregory A relational language for parallel
programming . . . . . . . . . . . . . . 171--178
R. L. Page and
M. G. Conant and
D. H. Grit If-then-else as a concurrency inhibitor
in eager beaver evaluation of recursive
programs . . . . . . . . . . . . . . . . 179--186
F. Warren Burton and
M. Ronan Sleep Executing functional programs on a
virtual tree of processors . . . . . . . 187--194
Peter Buneman and
Rishiyur Nikhil and
Robert Frankel A practical functional programming
system for databases . . . . . . . . . . 195--202
V. M. Malhotra and
V. Rajaraman A data-flow language for specifying
business data processing applications 203--212
B. J. MacLennan Introduction to relational programming 213--220
Geoffrey A. Frank Specification of data structures for FP
programs . . . . . . . . . . . . . . . . 221--228
ACM SIGPLAN Notices
Volume 9, Number 5, May, 1974

Paul W. Abrahams Improving the control structure of
SNOBOL4 . . . . . . . . . . . . . . . . 10--12
Walter Bilofsky Syntax extension and the IMP72
programming language . . . . . . . . . . 13--30
Amos N. Gileadi and
Henry F. Ledgard On a proposed measure of program
structure . . . . . . . . . . . . . . . 31--36
ACM SIGPLAN Notices
Volume 9, Number 6, June, 1974

Hilmer W. Besel After the GOTO debate . . . . . . . . . 13--16
B. N. Dickman More fuel for the GOTO controversy . . . 17--17
Daniel L. Ostapko On deriving a relation between circuits
and input/output by analyzing an
equivalent program . . . . . . . . . . . 18--24
Larry Weissman Psychological complexity of computer
programs: an experimental methodology 25--36
ACM SIGPLAN Notices
Volume 9, Number 7, July, 1974

James Peterson Review of The elements of programming
style by Brian W. Kernighan and P. J.
Plauger. McGraw-Hill Company, 1974 . . . 6--6
Daniel P. Friedman and
Stuart C. Shapiro A case for while-until . . . . . . . . . 7--14
Olivier Lecarme Structured programming, programming
teaching and the language Pascal . . . . 15--21
Stuart H. Sanfield The scope of variable concept: the key
to structured programming? . . . . . . . 22--29
Joachim von Peschke Syntactic rules embedded in PL/I . . . . 30--38
J. v. Peschke Syntactic rules embedded in PL/I
(translator writing system) . . . . . . 30--38
J. E. L. Peck and
J. M. Watt and
M. Sintzoff Revised ALGOL 68 syntax chart . . . . . 39--39
Anonymous Book reviews . . . . . . . . . . . . . . ?? ACM SIGPLAN Notices
Volume 9, Number 8, August, 1974

E. W. Reigel and
H. W. Lawson At the Programming Language ---
Microprogramming interface . . . . . . . 2--22
Victor R. Lesser The design of an emulator for a parallel
machine language . . . . . . . . . . . . 23--36
George E. Rossmann and
Louise H. Jones Functional Memory-Based Dynamic
Microprocessors for higher level
languages . . . . . . . . . . . . . . . 37--65
A. Keith Tirrell A study of the application of compiler
techniques to the generation of
micro-code . . . . . . . . . . . . . . . 67--85
Harold W. Lawson, Jr. and
Lars Blomberg The Datasaab FCPU microprogramming
language . . . . . . . . . . . . . . . . 86--97
Tomlinson G. Rauscher Towards a specification of syntax and
semantics for languages for horizontally
microprogrammed machines . . . . . . . . 98--111
Donald R. Oestreicher A microprogramming language for the
MLP-900 . . . . . . . . . . . . . . . . 113--120
George M. Stabler and
Ingrid Carlbom and
Ken Magel A microprogrammed satellite graphics
system . . . . . . . . . . . . . . . . . 121--129
Rodnay Zaks Dynamic memory management for APL-like
languages . . . . . . . . . . . . . . . 130--138
R. J. Chevance A COBOL Machine . . . . . . . . . . . . 139--144
François Robert Broca and
Richard E. Merwin Direct microprogrammed execution of the
intermediate text from a high-level
language compiler . . . . . . . . . . . 145--153
J. K. Broadbent and
G. F. Coulouris MEMBERS: a Microprogrammed Experimental
Machine with a Basic Executive for
Real-time Systems . . . . . . . . . . . 154--160
Malcolm C. Harrison A language-oriented instruction set for
the BALM language . . . . . . . . . . . 161--168
Bradford W. Wade and
Victor B. Schneider A general-purpose high-level language
machine for minicomputers . . . . . . . 169--177
ACM SIGPLAN Notices
Volume 9, Number 9, September, 1974

David W. Bray Dynamic storage routines for Fortran
programs . . . . . . . . . . . . . . . . 2--13
Henry Kleine and
Richard V. Morris Modern programming: A definition . . . . 14--17
Anthony G. Middleton A structured model of programs suitable
for analysing time/storage trade-offs 18--28
Marvin V. Zelkowitz Interactive PL/1 . . . . . . . . . . . . 29--31
ACM SIGPLAN Notices
Volume 9, Number 10, October, 1974

James F. Gimpel Language extensions to SNOBOL4 . . . . . 11--20
J. F. Gimpel Some highlights of the SITBOL language
extensions of SNOBOL 4 . . . . . . . . . 11--20
Olivier Lecarme and
Pierre Desjardins Reply to a paper by A. N. Habermann on
the programming language Pascal . . . . 21--27
Kevin C. McCoy Testing the readability and
composability of computer programs:
methodology . . . . . . . . . . . . . . 28--28
Loren P. Meissner A compatible ``structured'' extension to
Fortran . . . . . . . . . . . . . . . . 29--36
ACM SIGPLAN Notices
Volume 9, Number 11, November, 1974

Peter J. Denning Is `structured programming' any longer
the right term? . . . . . . . . . . . . 4--6
Barry K. Rosen Note on semantics and optimization . . . 6--10
Jean E. Sammet Roster of programming languages for 1973 18--31
W. C. M. Vaughan Another look at the \tt CASE statement 32--36
ACM SIGPLAN Notices
Volume 9, Number 12, December, 1974

Robert R. Korfhage On the development of data structures 14--22
Dennis M. O'Neill SFOR --- a precompiler for the
implementation of a FORTRAN-based
structured language . . . . . . . . . . 22--29
Ben Shneiderman The chemistry of control structures . . 29--34
Nobuyoshi Terashima SYSL: system description language . . . 35--44


ACM SIGPLAN Notices
Volume 10, Number 1, January, 1975

Richard S. Marcus A translating computer interface for a
network of heterogeneous interactive
information retrieval systems . . . . . 2--12
Terry Winograd Breaking the complexity barrier again 13--30
R. F. Boyce and
D. D. Chamberlin and
M. M. Hammer and
W. F. King Specifying queries as relational
expressions . . . . . . . . . . . . . . 31--47
G. Salton and
Clement T. Yu On the construction of effective
vocabularies for information retrieval 48--60
Abraham Waksman Information retrieval and the query
language . . . . . . . . . . . . . . . . 61--70
Susan Artandi The on-line interface of library
management and document retrieval
systems . . . . . . . . . . . . . . . . 71--74
Thomas H. Martin and
Edwin B. Parker Comparative analysis of interactive
retrieval systems . . . . . . . . . . . 75--85
Thomas H. Martin and
Richard L. Guertin Language decisions made while designing
an interactive information retrieval
system . . . . . . . . . . . . . . . . . 86--100
Billy G. Claybrook FOL: a language for implementing file
organizations for information storage
and retrieval systems . . . . . . . . . 101--112
C. J. Crouch An evaluation of languages for the
implementation of information storage
and retrieval systems . . . . . . . . . 113--117
Diane C. Pirog Smith From a data description point of view 118--130
W. O. Clark and
L. L. Shannon A dual structured data base system . . . 131--143
Stanley Y. W. Su and
George P. Copeland, Jr. and
G. Jack Lipovski Retrieval operations and data
representations in a context-addressed
disc system . . . . . . . . . . . . . . 144--160
P. F. King and
J. E. Shemer ARS: an interactive reporting system . . 161--175
John T. Dockery Remarks on tactical computer problems 176--177
Patrick C. Mitchell A note about the proximity operators in
information retrieval . . . . . . . . . 177--180
Norman Price Comments on experiments with retrieval
of legal information in full text . . . 180--181
ACM SIGPLAN Notices
Volume 10, Number 2, February, 1975

Anders Beckman Secondary effects . . . . . . . . . . . 10--11
Dennis P. Geller How bad can it get? (programming) by a
large number of master's candidates . . 12--13
I. D. Hill and
R. S. Scowen and
B. A. Wichmann Writing algorithms in ALGOL 60 . . . . . 14--31
Thomas W.-S. S. Plum Mathematical overkill and the structure
theorem . . . . . . . . . . . . . . . . 32--33
Eberhard Wegner Control constructs for programming
languages . . . . . . . . . . . . . . . 34--41
Donald S. Higgins A structured FORTRAN translator . . . . 42--48
ACM SIGPLAN Notices
Volume 10, Number 3, March, 1975

Robert E. Millstein and
Charles A. Muntz The ILLIAC IV FORTRAN compiler . . . . . 1--8
David L. Presberg and
Neil W. Johnson The Paralyzer: Ivtran's Parallelism
Analyzer and Synthesizer . . . . . . . . 9--16
David B. Erickson Array processing on an array processor 17--24
Leslie Lamport On programming parallel computers . . . 25--33
Dennis P. Geller and
Gerald M. Weinberg The principle of sufficient reason: A
guide to language design for parallel
processing . . . . . . . . . . . . . . . 34--38
V. R. Basili and
J. C. Knight A language design for vector machines 39--43
Ben Zion Barta PACOL: A parallel control language . . . 44--53
Harold K. Resnick and
Arvid G. Larson DMAP: a COBOL extension for associative
array processors . . . . . . . . . . . . 54--61
Mary E. Zosel A modest proposal for vector extensions
to ALGOL . . . . . . . . . . . . . . . . 62--71
K. G. Stevens, Jr. CFD --- A Fortran-Like Language for the
Illiac IV . . . . . . . . . . . . . . . 72--76
R. G. Zwakenberg Vector extensions to LRLTRAN . . . . . . 77--86
D. Neel and
M. Amirchahy Removal of invariant statements from
nested-loops in a single effective
compiler pass . . . . . . . . . . . . . 87--96
David B. Loveman and
Ross A. Faneuf Program optimization --- theory and
practice . . . . . . . . . . . . . . . . 97--102
Paul B. Schneck Movement of implicit parallel and vector
expressions out of program loops . . . . 103--106
D. Morris and
P. C. Treleaven A stream processing network . . . . . . 107--112
J. B. Hext Array reference operations . . . . . . . 113--118
Dorothy Wedel Fortran for the Texas Instruments ASC
System . . . . . . . . . . . . . . . . . 119--132
P. C. Capon and
R. N. Ibbett Array operations in MU5 . . . . . . . . 133--137
Michael K. Donegan and
Stuart W. Katzke Lexical analysis and parsing techniques
for a vector machine . . . . . . . . . . 138--145
Howard E. Krohn A parallel approach to code generation
for Fortran like compilers . . . . . . . 146--152
D. J. Evans Problem formulation using array
processing techniques . . . . . . . . . 153--163
ACM SIGPLAN Notices
Volume 10, Number 4, April, 1975

Paul Abrahams `Structured programming' considered
harmful . . . . . . . . . . . . . . . . 13--24
Carma L. McClure Structured programming in COBOL . . . . 25--33
Robert F. Mathis Flow trace of a structured program . . . 33--37
N. H. Weiderman and
B. M. Rawson Flowcharting loops without cycles . . . 37--46
Barry L. Wolman Reply to `Interactive PL/I' . . . . . . 46--48
ACM SIGPLAN Notices
Volume 10, Number 5, May, 1975

Stephen H. Kamnitzer Bootstrapping XPL from IBM/360 to UNIVAC
1100 . . . . . . . . . . . . . . . . . . 14--20
David McQuillan Transaction diagrams --- a design tool 21--26
David L. Parnas and
John E. Shore and
W. David Elliott On the need for fewer restrictions in
changing compile-time environments . . . 29--36
G. David Ripley and
Ralph E. Griswold Tools for the measurement of SNOBOL4
programs . . . . . . . . . . . . . . . . 36--52
ACM SIGPLAN Notices
Volume 10, Number 6, June, 1975

Ruth M. Davis The software reliability game . . . . . 1--1
Edsger W. Dijkstra Guarded commands, non-determinacy and a
calculus for the derivation of programs 2--2.13
R. D. Williams Managing the development of reliable
software . . . . . . . . . . . . . . . . 3--8
Victor Vyssotsky Large-scale reliable software: Recent
experience at Bell Labs . . . . . . . . 9--9
J. D. Gannon and
J. J. Horning The impact of language design on the
production of reliable software . . . . 10--22
Niklaus Wirth An assessment of the programming
language PASCAL . . . . . . . . . . . . 23--30
C. M. Geschke and
J. G. Mitchell On the problem of uniform references to
data structures . . . . . . . . . . . . 31--42
A. Cicu and
M. Maiocchi and
R. Polillo and
A. Sardoni Organizing tests during software
evolution . . . . . . . . . . . . . . . 43--50
E. F. Miller, Jr. and
R. A. Melton Automated generation of testcase
datasets . . . . . . . . . . . . . . . . 51--58
Leon G. Stucki and
Gary L. Foshee New assertion concepts for self-metric
software validation . . . . . . . . . . 59--71
Barbara Liskov and
Stephen Zilles Specification techniques for data
abstractions . . . . . . . . . . . . . . 72--87
Susan L. Gerhart Knowledge about programs: A model and
case study . . . . . . . . . . . . . . . 88--95
Laurian M. Chirica and
David F. Martin An approach to compiler correctness . . 96--103
J. C. Rault Design verification techniques --- a
review . . . . . . . . . . . . . . . . . 104--104
B. W. Boehm and
R. K. McClean and
D. B. Urfrig Some experience with automated aids to
the design of large-scale reliable
software . . . . . . . . . . . . . . . . 105--113
Frank DeRemer and
Hans Kron Programming-in-the large versus
programming-in-the-small . . . . . . . . 114--121
William A. Wulf Reliable hardware-software architecture 122--130
Donald J. Reifer Automated aids for reliable software . . 131--142
Shmuel Katz and
Zohar Manna Towards automatic debugging of programs 143--155
F. W. von Henke and
D. C. Luckham A methodology for verifying programs . . 156--164
Michel Caplain Finding Invariant assertions for proving
programs . . . . . . . . . . . . . . . . 165--171
F. T. Baker Structured programming in a production
programming environment . . . . . . . . 172--185
L. M. Culpepper A system for reliable engineering

[continued in next message]

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