[continued from previous message]

software . . . . . . . . . . . . . . . . 186--192
Fred P. Brooks, Jr. The Mythical Man-Month . . . . . . . . . 193--193
Isao Miyamoto ``Software reliability in online real
time environment'' . . . . . . . . . . . 194--203
B. Littlewood A reliability model for Markov
structured software . . . . . . . . . . 204--207
Ashok K. Trivedi and
Martin L. Shooman A many-state Markov model for the
estimation and prediction of computer
software performance parameters . . . . 208--220
Peter Henderson Finite state modelling in program
development . . . . . . . . . . . . . . 221--227
James C. King A new approach to program testing . . . 228--233
Robert S. Boyer and
Bernard Elspas and
Karl N. Levitt SELECT: a formal system for testing and
debugging programs by symbolic execution 234--245
Raymond J. Rubey Quantitative aspects of software
validation . . . . . . . . . . . . . . . 246--251
W. C. Lynch and
J. W. Langner and
M. S. Schwartz Reliability experience with Chi/OS . . . 252--259
D. E. W. Bucher Maintenance of the Computer Sciences
Teleprocessing System . . . . . . . . . 260--266
Lawrence Robinson and
Karl N. Levitt and
Peter G. Neumann and
Ashok R. Saxena On attaining reliable software for a
secure operating system . . . . . . . . 267--284
K. G. Walter and
S. I. Schaen and
W. F. Ogden and
W. C. Rounds and
D. G. Shumway and
D. D. Schaeffer and
K. J. Biba and
F. T. Bradshaw and
S. R. Ames and
J. M. Gilligan Structured specification of a Security
Kernel . . . . . . . . . . . . . . . . . 285--293
Gerald J. Popek and
Charles S. Kline A verifiable protection system . . . . . 294--304
P. Brinch Hansen The purpose of Concurrent PASCAL . . . . 305--309
Per Brinch Hansen The purpose of concurrent Pascal . . . . 305--309
Ashok R. Saxena and
Thomas H. Bredt A structured specification of a
hierarchical operating system . . . . . 310--318
Michel Sintzoff and
Axel Van Lamsweerde Constructing correct and efficient
concurrent programs . . . . . . . . . . 319--326
Albert Endres An analysis of errors and their causes
in system programs . . . . . . . . . . . 327--336
Norman F. Schneidewind Analysis of error processes in computer
software . . . . . . . . . . . . . . . . 337--346
M. L. Shooman and
M. I. Bolsky Types, distribution, and test and
correction times for programming errors 347--357
D. L. Parnas The influence of software structure on
reliability . . . . . . . . . . . . . . 358--362
Harlan D. Mills How to write correct programs and know
it . . . . . . . . . . . . . . . . . . . 363--370
A. O. Buda and
A. A. Granovsky and
A. P. Ershov Implementation of the Alpha-6
programming system . . . . . . . . . . . 371--381
C. V. Ramamoorthy and
S. F. Ho Testing large software with automated
software evaluation systems . . . . . . 382--394
Loren C. Carpenter and
Leonard L. Tripp Software design validation tool . . . . 395--400
N. P. Edwards The effect of certain modular design
principles on testability . . . . . . . 401--410
Donald I. Good Provable programming . . . . . . . . . . 411--419
Mark S. Laventhal Verifying programs which operate on data
structures . . . . . . . . . . . . . . . 420--426
R. Infante and
U. Montanari Proving structured programs correct,
level by level . . . . . . . . . . . . . 427--436
B. Randell System structure for software fault
tolerance . . . . . . . . . . . . . . . 437--449
S. S. Yau and
R. C. Cheung Design of self-checking software . . . . 450--457
Algirdas Avi\vzienis Fault-tolerance and fault-intolerance:
Complementary approaches to reliable
computing . . . . . . . . . . . . . . . 458--464
R. M. Burstall and
John Darlington Some transformations for developing
recursive programs . . . . . . . . . . . 465--472
Norihisa Suzuki Verifying programs by algebraic and
logical reduction . . . . . . . . . . . 473--481
Donald I. Good and
Ralph L. London and
W. W. Bledsoe An Interactive Program Verification
System . . . . . . . . . . . . . . . . . 482--492
John B. Goodenough and
Susan L. Gerhart Toward a theory of test data selection 493--510
Hermann Kopetz On the connections between range of
variable and control structure testing 511--517
J. R. Brown and
M. Lipow Testing for software reliability . . . . 518--527
C. A. R. Hoare Data reliability . . . . . . . . . . . . 528--533
Ralph L. London A view of program verification . . . . . 534--545
Edsger W. Dijkstra Correctness concerns and, among other
things, why they are resented . . . . . 546--550
ACM SIGPLAN Notices
Volume 10, Number 7, July, 1975

Anthony I. Wasserman Issues in programming language design:
an overview . . . . . . . . . . . . . . 10--12
Charles T. Zahn, Jr. Structured control in programming
languages . . . . . . . . . . . . . . . 13--15
Barbara H. Liskov Data types and program correctness . . . 16--17
Thomas A. Standish Extensibility in programming language
design . . . . . . . . . . . . . . . . . 18--21
Leon Presser Structured languages . . . . . . . . . . 22--24
Jack B. Dennis An example of programming with abstract
data types . . . . . . . . . . . . . . . 25--29
John B. Goodenough Exception handling design issues . . . . 41--45
Ben Shneiderman Cognitive psychology and programming
language design . . . . . . . . . . . . 46--47
ACM SIGPLAN Notices
Volume 10, Number 8, August, 1975

H. Witt Pun-dora's box or how to produce enough
papers to wrap up structured programming 10--11
James A. Mason Some user-defined control functions for
more readable APL programs . . . . . . . 11--19
A. Salvadori and
J. Gordon and
C. Capstick Static profile of COBOL programs . . . . 20--33
Gerald M. Weinberg and
Dennis P. Geller and
Thomas W. S. Plum IF-THEN-ELSE considered harmful . . . . 34--44
ACM SIGPLAN Notices
Volume 10, Number 9, September, 1975

Peter J. Denning Comments on mathematical overkill . . . 10--11
Clinton R. Foulk The DO trace: a simple and effective
method for debugging GOTO-free programs 11--18
Loren P. Meissner On extending Fortran control structures
to facilitate structured programming . . 19--30
Frederick G. Sayward A correctness criterion for CSP parallel
programs . . . . . . . . . . . . . . . . 30--38
B. J. MacLennan A note on dynamic arrays in PASCAL . . . 39--40
ACM SIGPLAN Notices
Volume 10, Number 10, October, 1975

Reford Bond Free form structured FORTRAN translator 12--15
Lawrence Flon On research in structured programming 16--17
Lawrence E. Gales Structured FORTRAN with no preprocessor 17--24
Robert J. Lambird and
Lawrence E. Cornish The EXEC 8 implementation of List
Processor-N . . . . . . . . . . . . . . 25--36
ACM SIGPLAN Notices
Volume 10, Number 11, November, 1975

Daniel M. Berry Structured documentation . . . . . . . . 7--12
F. P. Coakley Experience with the use of the case
statement within a M.O.L. . . . . . . . 13--17
W. H. Dailey A tabular approach to program
optimization . . . . . . . . . . . . . . 17--22
Stephen Leibowitz Memory optimization using block
structures . . . . . . . . . . . . . . . 22--25
Anthony G. Middleton Connector functions: another view of the
GOTO? . . . . . . . . . . . . . . . . . 25--37
M. H. Williams A note on the ambiguity of the \tt
COMMON statement . . . . . . . . . . . . 38--40
ACM SIGPLAN Notices
Volume 10, Number 12, December, 1975

W. H. Dailey On generating binary decision trees with
minimum nodes . . . . . . . . . . . . . 14--21
John B. Holton Toward efficient programming in virtual
systems . . . . . . . . . . . . . . . . 22--25
Theodore D. Lassagne Recursive definitions for iterative
algorithms . . . . . . . . . . . . . . . 26--38
L. P. Meissner On preprocessors . . . . . . . . . . . . 39
G. Yuval A SNOBOL 4 execution profile . . . . . . 40


ACM SIGPLAN Notices
Volume 11, Number 1, January, 1976

Loren P. Meissner Proposed control structures for extended
FORTRAN . . . . . . . . . . . . . . . . 16--21
David W. Embley and
Wilfred J. Hansen The KAIL selector --- a unified control
construct . . . . . . . . . . . . . . . 22--29
Charles Landau On high-level languages for system
programming . . . . . . . . . . . . . . 30--31
G. Winiger A note on one-pass \tt CASE statement
compilation . . . . . . . . . . . . . . 32--36
N. Wirth Comment on a note on dynamic arrays in
PASCAL . . . . . . . . . . . . . . . . . 37--38
Steven Worona PL/CT, another approach to two problems
in interactive PL/I . . . . . . . . . . 39--44
ACM SIGPLAN Notices
Volume 11, Number 2, February, 1976

Paul W. Abrahams On realism in programming examples . . . 17--19
Harold W. Lawson, Jr. and
David R. Doucette A translation machine with automated
top-down parsing . . . . . . . . . . . . 20--29
Donald J. Reifer The structured Fortran dilemma . . . . . 30--32
ACM SIGPLAN Notices
Volume 11, Number 3, March, 1976

ACM Draft proposed ANS FORTRAN . . . . . . . 1--223
ANSI Subcommittee X3J3 Draft Proposed ANS Fortran . . . . . . . various
ACM SIGPLAN Notices
Volume 11, Number 3S, March, 1976

Bengt Nordström An outline of a mathematical model for
the definition and manipulation of data 1--11
Theodore A. Linden The use of abstract data types to
simplify program modifications . . . . . 12--23
Moshe M. Zloof and
S. Peter de Jong The System for Business Automation
(SBA): Programming language . . . . . . 24--24
Eric Allman and
Michael Stonebraker and
Gerald Held Embedding a relational data sublanguage
in a general purpose programming
language . . . . . . . . . . . . . . . . 25--35
Robert T. Johnson and
James B. Morris Abstract data types in the Model
programming language . . . . . . . . . . 36--46
Dennis J. McLeod High level domain definition in a
relational data base system . . . . . . 47--57
Michael Hammer Data abstractions for data bases . . . . 58--59
J. J. Horning Some desirable properties of data
abstraction facilities . . . . . . . . . 60--62
Douglas T. Ross Toward foundations for the understanding
of type . . . . . . . . . . . . . . . . 63--65
Mary Shaw Research directions in abstract data
structures . . . . . . . . . . . . . . . 66--68
Jim Mitchell and
Ben Wegbreit A next step in data structuring for
programming languages . . . . . . . . . 69--70
John M. Smith and
Diane C. P. Smith Data base abstraction . . . . . . . . . 71--71
John Guttag Abstract data types and the development
of data structures . . . . . . . . . . . 72--72
J. A. Bubenko, Jr. and
S. Berild and
E. Lindencrona-Ohlin and
S. Nachmens From information requirements to
DBTG-data structures . . . . . . . . . . 73--85
W. T. Hardgrave A technique for implementing a set
processor . . . . . . . . . . . . . . . 86--94
Richard B. Kieburtz Programming without pointer variables 95--107
Oscar Vallarino On the use of bit maps for multiple key
retrieval . . . . . . . . . . . . . . . 108--114
D. M. Berry and
Z. Erlich and
C. J. Lucena Correctness of data representations
(Extended Abstract): Pointers in high
level languages . . . . . . . . . . . . 115--119
David Gries and
Narain Gehani Some ideas on data types in high level
languages . . . . . . . . . . . . . . . 120--120
Michael E. Senko DIAM II: The binary infological level
and its database language --- FORAL . . 121--140
L. Flon and
A. N. Habermann Towards the construction of verifiable
software systems . . . . . . . . . . . . 141--148
D. L. Parnas and
John E. Shore and
David Weiss Abstract types defined as classes of
variables . . . . . . . . . . . . . . . 149--154
Barron C. Housel and
Nan C. Shu A high-level data manipulation language
for hierarchical data structures . . . . 155--169
Mark B. Wells and
Fred L. Cornwell A data type encapsulation scheme
utilizing base language operators . . . 170--178
Cornelis H. A. Koster Visibility and types . . . . . . . . . . 179--190
ACM SIGPLAN Notices
Volume 11, Number 4, April 1, 1976

Walter Gorman and
Michael Broussard Minicomputer programming languages . . . 4--15
Anthony I. Wasserman and
David D. Sherertz A balanced view of MUMPS . . . . . . . . 16--26
Robert D. Russell Experience in the design, implementation
and use of PL-11, a programming language
for the PDP-11 . . . . . . . . . . . . . 27--34
Steven S. Herrick Experiences moving COBOL onto a
minicomputer . . . . . . . . . . . . . . 35--39
Gordon Bennett-Novak Optimized machine-independent extended
FORTRAN for minicomputer programming . . 40--44
Gearold R. Johnson and
Robert A. Mueller The automated generation of cross-system
software for supporting micro/mini
computer systems . . . . . . . . . . . . 45--56
Christine L. Braun An integrated microprocessor support
software system . . . . . . . . . . . . 57--65
M. W. Blake-Knox and
G. C. Morris Minicomputer software development using
a maxicomputer . . . . . . . . . . . . . 66--69
S. Ron Oliver and
Nell D. Jones Program control via transition matrices
--- a novel application of
micro-programming . . . . . . . . . . . 70--77
Mary S. Adix and
Henrik A. Schutz Interpretive execution of real-time
control applications . . . . . . . . . . 78--87
Ted Cary Structuring BASIC programs for managing
overlays in a small computer system . . 88--93
Daniel W. Lozier Numerical applications of minicomputers
at the National Bureau of Standards . . 94--101
J. C. Nash Experiences in the development of
mathematical software for small
computers . . . . . . . . . . . . . . . 102--102
W. D. Maurer Proving the correctness of a
flight-director program for an airborne
minicomputer . . . . . . . . . . . . . . 103--108
D. D. Cowan and
P. H. Dirksen and
J. W. Graham and
J. W. Welch Development of educational software
using the DEC PDP-11 . . . . . . . . . . 109--112
Christopher Vickery A microprogramming design laboratory . . 113--117
Thomas Schreier ETOS: multi-lingual Time Sharing System
for the PDP8 . . . . . . . . . . . . . . 118--118
David L. Fulton and
Richard T. Thomas ABACUS/X an incremental compiler for
minicomputer use . . . . . . . . . . . . 119--126
R. B. Kieburtz and
J. L. Hennessy TOMAL: a high-level programming language
for microprocessor process control
applications . . . . . . . . . . . . . . 127--134
P. J. Plauger A Little Implementation Language . . . . 135--137
A. Ian Stocks and
Jayant Krishnaswamy On a transportable high level language
for minicomputers . . . . . . . . . . . 138--143
Thomas Stuart Adapting large systems to small machines 144--150
William M. McKeeman Corporate integration through systems
software . . . . . . . . . . . . . . . . 151--155
William J. Lennon and
Eric L. Baatz and
Sandra L. Colussi and
Kenneth E. Kinnear, Jr. Using a distributed mini-computer
network to automate a biochemical
laboratory . . . . . . . . . . . . . . . 156--164
ACM SIGPLAN Notices
Volume 11, Number 5, May, 1976

Reford Bond An intuitive translation technique . . . 33--36
O. Buchegger and
N. E. Fuchs If `ELSE' then `CASE' . . . . . . . . . 37--37
James L. Elshoff Measuring commercial PL/I programs using
Halstead's criteria . . . . . . . . . . 38--46
Richard Hamlet The PDP-11 as B5500 in teaching systems
programming . . . . . . . . . . . . . . 47--52
W. T. Hardgrave Positional versus keyword parameter
communication in programming languages 52--58
Jacob Palme New feature for module protection in
SIMULA . . . . . . . . . . . . . . . . . 59--62
J. Steensgaard-Madsen More on dynamic arrays in PASCAL . . . . 63--64
Andrew S. Tanenbaum In defense of program testing or
correctness proofs considered harmful 64--68
ACM SIGPLAN Notices
Volume 11, Number 6, June, 1976

Gregory F. Pfister A high level language extension for
creating and controlling dynamic
pictures . . . . . . . . . . . . . . . . 1--9
Guenther Schrack Design, implementation and experiences
with a higher-level graphics language
for interactive computer-aided design
purposes . . . . . . . . . . . . . . . . 10--17
Ben Jones An extended Algol-60 for Shaded Computer
Graphics . . . . . . . . . . . . . . . . 18--23
Scott B. Guthery DDA: An interactive and extensible
language for data display and analysis 24--31
Caroline Wardle ARTSPEAK: A graphics language for
artists . . . . . . . . . . . . . . . . 32--39
Mark P. Kriger SUGAR: A high-level programming language
for geographical analysis and mapping 40--48
James D. Foley Picture naming and modification: An
overview . . . . . . . . . . . . . . . . 49--53
Elaine L. Thomas Methods for specifying display
parameters in graphics programming
languages . . . . . . . . . . . . . . . 54--56
R. Daniel Bergeron Picture primitives in device independent
graphics systems . . . . . . . . . . . . 57--60
Victor L. Wallace The semantics of graphic input devices 61--65
H. Leiberman The TV turtle, a Logo graphics system
for raster displays . . . . . . . . . . 66--72
Henry Lieberman The TV Turtle: a Logo graphics system
for raster displays . . . . . . . . . . 66--72
Lou Katz and
Bill Etra A preliminary step towards a language
for picture control in a real-time mode 73--76
T. A. DeFanti and
D. J. Sandin and
R. A. Ainsworth Control structures for performance
graphics . . . . . . . . . . . . . . . . 79--84
Uday G. Gujar A device independent computer plotting
system . . . . . . . . . . . . . . . . . 85--100
Michael T. Garrett An interpretive/interactive subroutine
system for raster graphics . . . . . . . 101--105
P. Shen-Pei Wang and
W. I. Grosky A language for two-dimensional digital
picture processing . . . . . . . . . . . 106--112
Patrick Shen-Pei Wang and
William I. Grosky A language for two-dimensional digital
picture processing . . . . . . . . . . . 106--112
Gregory J. Suski Automatic generation of computer
graphics languages . . . . . . . . . . . 113--122
Travis L. Herring On the design and use of
graphics-oriented continuous system
simulation languages (CSSL) . . . . . . 123--128
ACM SIGPLAN Notices
Volume 11, Number 7, July, 1976

Julius A. Archibald, Jr. Towards a dynamic (FORTRAN) programming
system . . . . . . . . . . . . . . . . . 17--24
Dennis Allison Design notes for TINY BASIC . . . . . . 25--33
Richard K. Bennett BUILD: a primitive approach to the
design of computer languages and their
translators . . . . . . . . . . . . . . 34--40
Robert E. Brown Toward a better language for structured
programming . . . . . . . . . . . . . . 41--54
Ronnie G. Ward A non-iterative situation case statement 55--62
M. H. Williams A question-answering system for
automatic program synthesis . . . . . . 63--68
ACM SIGPLAN Notices
Volume 11, Number 8, August, 1976

Melvyn Feurman and
Mary R. Dallal and
Lillian Liebling Structured programming in COBOL under
IBM 360/370 OS . . . . . . . . . . . . . 16--30
C. Wrandle Barth STRCMACS: an extensive set of macros to
aid in structured programming in 360/370
assembly language . . . . . . . . . . . 31--35
David Matuszek The case for the assert statement . . . 36--37
Giorgio Misuri Survey of existing programming aids . . 38--41
S. Matwin and
M. Missala A simple, machine independent tool for
obtaining rough measures of PASCAL
programs . . . . . . . . . . . . . . . . 42--45
C. L. McClure Ordering control data in structured
COBOL . . . . . . . . . . . . . . . . . 46--51
ACM SIGPLAN Notices
Volume 11, Number 9, September, 1976

R. F. Bridge and
E. W. Thompson Bridges: a tool for increasing the
reliability of references to Fortran
variables . . . . . . . . . . . . . . . 2--9
A. James Cook Experience with extensible, portable
Fortran extensions . . . . . . . . . . . 10--17
Guenter Musstoph The programming system POLYP: structure
and experience . . . . . . . . . . . . . 18--24
Mark B. Wells Preprocessing of typed two-dimensional
mathematical expressions . . . . . . . . 25--37
J. D. Wolley and
L. R. Miller and
C. M. Bernstein Linus: an experiment in language
preprocessing . . . . . . . . . . . . . 38--48
John D. Woolley and
Leland R. Miller and
Charles M. Bernstein LINUS: an experiment in language
preprocessing . . . . . . . . . . . . . 38--48
ACM SIGPLAN Notices
Volume 11, Number 10, October, 1976

R. A. DeMillo and
S. C. Eisenstat and
R. J. Lipton Can structured programs be efficient? 10--18
J. L. W. Kessels Parallel programming concepts in a
definitional language . . . . . . . . . 19--31
E. N. Kittlitz Block statements and synonyms for PASCAL 32--35
Sergei Pokrovsky Formal types and their application to
dynamic arrays in PASCAL . . . . . . . . 36--42
Stuart W. Rowland Some Comments on Structured FORTRAN . . 43--48
Janos Simon A comment on DO Traces . . . . . . . . . 49--52
ACM SIGPLAN Notices
Volume 11, Number 11, November, 1976

Reidar Conradi `Further critical comments on PASCAL,
particularly as a systems programming
language' . . . . . . . . . . . . . . . 8--25
Ross W. Goodell A generalized approach to interpretation
machines . . . . . . . . . . . . . . . . 26--37
A. C. Fleck On the impossibility of content exchange
through the by-name parameter
transmission mechanism . . . . . . . . . 38--41
L. T. Love and
A. B. Bowman An independent test of the theory of
software physics . . . . . . . . . . . . 42--49
C. D. Marlin An experiment with the extensibility of
SIMULA . . . . . . . . . . . . . . . . . 50--57
Patrick Roy and
Richard St-Denis Linear flowchart generator for a
structured language . . . . . . . . . . 58--64
ACM SIGPLAN Notices
Volume 11, Number 12, December, 1976

R. Conway PL/CS: a highly-disciplined subset of
PL/C . . . . . . . . . . . . . . . . . . 21--24
S. I. Feldman A Fortranner's Lament: Comments on the
draft proposed ANS FORTRAN standard . . 25--34
Allan Gottlieb A flowcharting proposal . . . . . . . . 35--37
Lars Kahn Program structure definition using

[continued in next message]

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