Last update:
Sat Jan 13 11:55:59 MST 2024
Anonymous Toward a semiotic theory of programming
languages . . . . . . . . . . . . . . . 24--27
C. J. Shaw Review of UCC seminar on ``Programming
Languages Today'' . . . . . . . . . . . 24--25
Robert W. Floyd A machine-oriented recognition algorithm
for context-free languages . . . . . . . 28--29
J. Nievergelt and
M. I. Irland Bounce-and-skip: a technique for
directing the flow of control in
programs . . . . . . . . . . . . . . . . 29--31
Alan J. Perlis Introduction to extensible languages . . 3--5
Jan V. Garwick GPL, a general purpose language . . . . 6--8
Barry J. Mailloux and
John E. L. Peck Algol 68 as an extensible language . . . 9--13
Philippe Jorrand Some aspects of Basel, the base language
for an extensible language facility . . 14--17
Edgar T. Irons The extension facilities of IMP . . . . 18--19
Thomas A. Standish Some features of PPL, a polymorphic
programming language . . . . . . . . . . 20--26
James R. Bell Transformations: the extension facility
of Proteus . . . . . . . . . . . . . . . 27--31
M. Donald MacLaren Macro processing in EPS . . . . . . . . 32--36
Christopher J. Shaw Panel of language authors . . . . . . . 37--39
John Nicholls PL/I compile time extensibility . . . . 40--44
Thomas E. Cheatham, Jr. Motivation for extensible languages . . 45--49
M. D. McIlroy Alternatives to extensible languages . . 50--52
Peter Wegner Panel on the concept of extensibility 53--54
Thomas A. Standish Some compiler-compiler techniques for
use in extensible languages . . . . . . 55--62
D. G. Bobrow LISP bulletin . . . . . . . . . . . . . 17--57
Claude A. R. Kagan Experimental Trac language primitive to
allow user control of the scan algorithm 27--28
Sak Charmonman Sixty-character representation of APL
symbols . . . . . . . . . . . . . . . . 28--31
Christopher J. Shaw APL Quote-Quad . . . . . . . . . . . . . 21--21
S. Charmonman A comparison of the structures of APL,
FORTRAN, ALGOL and PL/I . . . . . . . . 22--24
Alan L. Jones The generalized hypergeometric function 26--27
John E. Lauer APL$\backslash$1130 missing primitives 28--28
Alan R. Jones Fast Fourier Transform . . . . . . . . . 29--29
John E. Lauer Intgrl XDX does Gaussian integration . . 30--30
T. A. Bickart Characteristic equation of a matrix . . 31--31
Henry F. Ledgard Ten mini-languages in need of formal
definition . . . . . . . . . . . . . . . 14--37
Erwin Book and
Dewey Val Shorre and
Steven J. Sherman The CWIC/36O system, a compiler for
writing and implementing compilers . . . 11--29
Theodore A. Bickart Function to accelerate and/or induce
sequence convergence . . . . . . . . . . 38--41
Frances E. Allen Control flow analysis . . . . . . . . . 1--19
John Cocke Global common subexpression elimination 20--24
D. D. Cowan and
J. W. Graham Design characteristics of the WATFOR
compiler . . . . . . . . . . . . . . . . 25--36
T. E. Cheatham, Jr. and
Thomas A. Standish Optimization aspects of
compiler-compilers . . . . . . . . . . . 37--37
H. R. Haynes and
L. J. Schutte Compilation of optimized syntactic
recognizers from Floyd-Evans productions 38--51
John T. Bagwell, Jr. Local optimizations . . . . . . . . . . 52--66
Dennis J. Frailey Expression optimization using unary
complement operators . . . . . . . . . . 67--85
Alfred V. Aho and
Ravi Sethi and
J. D. Ullman A formal approach to code optimization 86--100
James A. Painter Effectiveness of an optimizing compiler
for arithmetic expressions . . . . . . . 101--126
Bruce J. Bolas Optimization problems in extensible
compilers . . . . . . . . . . . . . . . 127--127
Jacques E. LaFrance Optimization of error recovery in
syntax-directed parsing algorithms . . . 128--128
Robert E. Millstein Optimization for an array computer . . . 129--129
Richard G. Zwakenberg CDC 6600/7600 optimization . . . . . . . 130--130
Robert E. Millstein and
Edward P. Krugman and
David Goldberg Optimization for an array computer . . . 8--13
Daniel M. Berry The importance of implementation models
in ALGOL 68: or how to discover the
concept of necessary environment . . . . 14--24
Karl Korn APL community meets at NASA . . . . . . 27--28
S. Charmonman Sixty-character representation of APL
symbols . . . . . . . . . . . . . . . . 29--34
Alan T. McEwan and
Don W. A. Watson APL/360 recursed! . . . . . . . . . . . 35--40
Thomas E. Cheatham and
Thomas A. Standish Optimization aspects of
compiler-compilers . . . . . . . . . . . 10--17
Neil Lincoln Parallel programming techniques for
compilers . . . . . . . . . . . . . . . 18--31
Franklin L. DeRemer Optimization using LR(k) techniques . . 32--34
J. J. Horning and
W. R. Lalonde Empirical comparison of LR(k) and
precedence parsers . . . . . . . . . . . 10--24
Lawrence M. Breed The APL PLUS file subsystem . . . . . . 29--31
P. E. Hagerty An APL symbol set for Model 35 Teletypes 31--33
Lawrence M. Breed and
Roger D. Moore Errors and fixes in the APL/360 Program
Product . . . . . . . . . . . . . . . . 33--38
S. Charmonman A generalization of APL array-oriented
concept . . . . . . . . . . . . . . . . 38--42
Jacques LaFrance Optimization of error recovery in
syntax-directed parsing algorithms . . . 2--17
M. Donald MacLaren PL/I language development in ANSI/X3J1
and ECMA/TC1O . . . . . . . . . . . . . 18--29
M. Donald MacLaren Data matching, data alignment, and
structure mapping in PL/I . . . . . . . 30--43
F. G. Pagan A method of linking PL/I to SNOBOL4 . . 46--49
Robert T. Duquet Eliza in SNOBOL4 . . . . . . . . . . . . 50--60
Paul J. Santos and
W. Douglas Maurer Compilation of a subset of SNOBOL4 . . . 60--68
Robert J. Lambird String enhancements to ANSI Standard
Fortran (part 1) . . . . . . . . . . . . 5--12
Tom McMurchie A limited-character APL symbolism . . . 15--16
C. Victor Bunderson On hobbits and the growth of APL . . . . 17--17
Mary Zosel University of Washington implementation 18--30
Peter Wegner Data structure models for programming
languages . . . . . . . . . . . . . . . 1--54
John B. Johnston The contour model of block structured
processes . . . . . . . . . . . . . . . 55--82
E. I. Organick and
J. G. Cleary A data structure model of the B6700
computer system . . . . . . . . . . . . 83--145
Kurt Walk Modelling of storage properties of
higher level languages . . . . . . . . . 146--170
Daniel M. Berry Introduction to Oregano . . . . . . . . 171--190
Clement McGowan and
Peter Wegner The equivalence of sequential and
associate information structure models 191--216
W. A. Ferguson and
G. J. Lipovski A generalized assembly language using
regular expressions . . . . . . . . . . 217--236
Andries van Dam Data and storage structures for
interactive graphics . . . . . . . . . . 237--267
Marshall D. Abrams Data structures for computer graphics 268--286
Vincent A. Busam On the structure of dictionaries for
compilers . . . . . . . . . . . . . . . 287--305
David S. Wile and
C. M. Geschke Efficient data accessing in the
programming language Bliss . . . . . . . 306--320
James B. Morris, Jr. and
Mark B. Wells Generalized data structures in Madcap VI 321--336
M. V. Wilkes Associative tabular data structures . . 337--345
G. J. Lipovski On data structures in associative
memories . . . . . . . . . . . . . . . . 346--365
Harry Katzan, Jr. Representation and manipulation of data
structures in APL . . . . . . . . . . . 366--397
Paul E. Weston and
Stephen M. Taylor Cylinders: a relational data structure 398--416
Joachim v. Peschke PL/I subsets for software writing . . . 16--22
Philip S. Abrams Remarks about terminal I/O in APL/360 33--33
Theodore A. Linden The Ackermann function in APL . . . . . 34--35
A. J. Rose More about multi-adic functions . . . . 10--11
Larry Breed Generalizing APL scalar extension . . . 12--14
Karl Korn and
John Rose APL-FIOS; APL-FIDOS: multilevel total
file access and special features . . . . 14--18
D. A. Bonyun APL algorithms . . . . . . . . . . . . . 21--31
Christopher J. Shaw SNOBOL bulletin . . . . . . . . . . . . 3--5
John R. Clark and
Thomas R. Dickson and
William H. Marshall and
Angeloa Segalla A summary of the presentations at APL
Users Conference Workshop 3 . . . . . . 3--13
Christopher J. Shaw FORTRAN information bulletin . . . . . . 6--22
Niels Gellert Abstract of the proceedings at the SEAS
APL Working Committee's meeting
Grenoble, Feb. 15th, 16th/71 . . . . . . 14--15
Hendricks Selection of a medium for program
exchange (appendix II to SEAS APL
proceedings) . . . . . . . . . . . . . . 15--16
J. F. Clementi and
A. P. Fletcher Modifications to the APL 1130/system to
provide more convenient operating on a
Fortran user's machine . . . . . . . . . 16--18
David A. Bonyun Mark sense APL . . . . . . . . . . . . . 18--19
Lew Greenberg APL/6500 at Michigan State University 20--21
Bruce Silberg Detab/65 in third-generation Cobol . . . 4--8
Thomas G. LaFleur Decision tables: a tool for documenting
logical condition relationships . . . . 9--12
Henry O. Arnold Utilization of a decision table
translator for basic program creation 12--19
J. M. Jarvis An analysis of programming via decision
table compilers . . . . . . . . . . . . 20--32
Robert F. Sterbenz Tabsol decision table preprocessor . . . 33--40
Donald J. Lemoine An automatic decision-logic-table
processor . . . . . . . . . . . . . . . 40--45
Michael F. Weisbard Detap/55: a decision table preprocessor
for generating single-paragraph,
fully-nested Cobol code . . . . . . . . 45--53
R. Scowen The use of decision tables in Babel . . 54--68
Jonas Rabin Conversion of limited-entry decision
tables into optimal decision trees:
fundamental concepts . . . . . . . . . . 68--74
C. Geoffrey Woods and
Mary K. Hawes Optimized code generation from
extended-entry decision tables . . . . . 74--80
W. H. Dailey Some notes on processing limited-entry
decision tables . . . . . . . . . . . . 81--89
William J. Harrison Practically complete decision tables: a
range approach . . . . . . . . . . . . . 89--93
Bennett M. Schwartz Lisp 1.5 decision tables implemented for
a serial computer and proposed for
parallel computers . . . . . . . . . . . 93--103
Toshio Yasui Some aspects of decision table
conversion techniques . . . . . . . . . 104--111
Jean E. Sammet Brief survey of languages used for
systems implementation . . . . . . . . . 1--19
John Slimick Current systems implementation
languages: One user's view . . . . . . . 20--28
David J. Farber A survey of the systematic use of macros
in systems building . . . . . . . . . . 29--36
Gerd R. Sapper The programming language PS440 as a tool
for implementing a time-sharing system 37--41
W. Wulf and
C. Geschke and
D. Wile and
J. Apperson Reflections on a systems programming
language . . . . . . . . . . . . . . . . 42--49
R. Daniel Bergeron and
John D. Gannon and
Andries van Dam Language for Systems Development . . . . 50--72
Don M. Lyle A hierarchy of high order languages for
systems programming . . . . . . . . . . 73--78
B. L. Clark and
J. J. Horning The System Language for Project SUE . . 79--88
Martin Hopkins Problems of PL/I for system programming 89--91
Pierre J. Du Bois, Jr. and
Jeanne T. Martin The LRLTRAN language as used in the
FROST and FLOE time-sharing operating
systems . . . . . . . . . . . . . . . . 92--104
P. J. Du Bois, Jr. and
J. T. Martin The LRLTRAN language as used in the
FROST and FLOE time-sharing operating
systems . . . . . . . . . . . . . . . . 92--104
Harvey W. Bingham Use of APL in microprogrammable machine
modeling . . . . . . . . . . . . . . . . 105--109
Gio Wiederhold and
John Ehrman Inferred syntax and semantics of PL/S 110--121
Claude A. R. Kagan Floating point sub-language of a string
language . . . . . . . . . . . . . . . . 20--22
Robert J. Korsan A proposed APL extension . . . . . . . . 21--23
Norman Glick and
Richard Schrader APL on the Honeywell 635 . . . . . . . . 23--30
P. D. Page An old-line proof checker operating
under APL/360, with educational
applications in logic, mathematics, and
computer science . . . . . . . . . . . . 30--34
Rodnay Zaks A language machine . . . . . . . . . . . 34--39
J. F. Clementi and
B. G. James and
R. P. Fletcher Modifications to the APL/1130 system
part 2 . . . . . . . . . . . . . . . . . 40--46
Kenneth Ahl and
John Barrington and
John Hillier and
Evelyn Mack and
Walter Whipple Character and BIT data types for
FORTRAN: a proposal to ANSI subcommittee
X3J3 . . . . . . . . . . . . . . . . . . 22--40
Millard H. Perstein Report to SPARC (the Standards Planning
and Requirements Committee of ANSI) from
the ad hoc committee on operating system
control languages . . . . . . . . . . . 41--49
Christopher J. Shaw FORTRAN information bulletin . . . . . . 50--65
Hermann Kopetz On the implementation of an interactive
system on a small computer . . . . . . . 2--4
Gerhard Kratky The definition of AMTRAN . . . . . . . . 5--31
Juris Reinfelds A concept by concept description of the
AMTRAN language . . . . . . . . . . . . 32--59
Juris Reinfelds Some applications of AMTRAN . . . . . . 60--90
Anonymous Special issue on AMTRAN (Automatic
Mathematical TRANslation) . . . . . . . ??
R. S. Scowen Babel, an application of extensible
compilers . . . . . . . . . . . . . . . 1--7
Gerald D. Chandler METAPI: a language for extensions . . . 8--9
N. Yoneda The description and the structure of
ALGOL N . . . . . . . . . . . . . . . . 10--14
N. Suzuki and
T. Fujisaki and
K. Kakehi and
E. Wada and
T. Simauti The implementation of ALGOL N . . . . . 15--22
J. Katzenelson and
E. Milgrom A short presentation of the main
features of AEPL --- an extensible
programming language . . . . . . . . . . 23--25
Ben Wegbreit An overview of the ECL programming
system . . . . . . . . . . . . . . . . . 26--28
M. G. Notley A model of extensible language systems 29--38
Henry J. Bowlden Macros in higher-level languages . . . . 39--44
Charles A. Grant Syntax translation with context macros
or macros without arguments . . . . . . 45--47
P. L. Wodon A syntax macro processor . . . . . . . . 48--50
A. Fernandez and
J. C. Heliard and
J. D. Ichbiah Overview of the syntax processor
generator SYNPROC . . . . . . . . . . . 51--55
Bernard Lang Parallel non-deterministic bottom-up
parsing . . . . . . . . . . . . . . . . 56--57
Michael Hammer An alternative approach to macro
processing . . . . . . . . . . . . . . . 58--64
S. Crespi Reghizzi Grammatical inference for defining
extensions . . . . . . . . . . . . . . . 65--66
Teun van Gils Syntactic definition mechanisms . . . . 67--74
Philippe Jorrand Data types and extensible languages . . 75--83
Jean D. Ichbiah Extensibility in Simula 67 . . . . . . . 84--86
Benjamin M. Brosgol An implementation of ECL data types . . 87--95
B. M. Leavenworth Transition functions: A method for
semantic extensions . . . . . . . . . . 96--103
Charles J. Prenner The control structure facilities of ECL 104--112
Rudolph A. Krutar Conversational systems programming by
incremental extension of system
configuration . . . . . . . . . . . . . 113--116
B. N. Dickman Subroutine interface primitives for ETC 117--119
Stephen A. Schuman An extensible interpreter . . . . . . . 120--128
Glenn H. Holloway Interpreter/compiler integration in ECL 129--134
John D. Woolley MENELAUS: A system for measurement of
the extensible language Proteus . . . . 135--136
J. J. Duby Extensible languages: A potential user's
point of view . . . . . . . . . . . . . 137--140
Jean E. Sammet Application of extensible languages to
specialized application languages . . . 141--143
Thomas A. Standish PPL: an extensible language that failed 144--145
T. E. Cheatham, Jr. Extensible language --- where are we
going . . . . . . . . . . . . . . . . . 146--147
Robin Milner Implementation and applications of
Scott's logic for computable functions 1--6
Rod M. Burstall An algebraic description of programs
with assertions, verification and
simulation . . . . . . . . . . . . . . . 7--14
C. David Allen Derivation of axiomatic definitions of
programming languages from algorithmic
definitions . . . . . . . . . . . . . . 15--26
Zohar Manna and
Stephen Ness and
Jean Vuillemin Inductive methods for proving properties
of programs . . . . . . . . . . . . . . 27--50
E. A. Ashcroft Program correctness methods and language
definition . . . . . . . . . . . . . . . 51--57
J. M. Cadiou and
Zohar Manna Recursive definitions of partial
functions and their computations . . . . 58--65
T. E. Hull and
W. H. Enright and
A. E. Sedgwick The correctness of numerical algorithms 66--73
Michael S. Paterson Decision problems in computational
models . . . . . . . . . . . . . . . . . 74--82
Stephen J. Garland and
David C. Luckham Translating recursion schemes into
program schemes . . . . . . . . . . . . 83--96
H. R. Strong and
S. A. Walker Properties preserved under recursion
removal . . . . . . . . . . . . . . . . 97--103
Michael J. Fischer Lambda calculus schemata . . . . . . . . 104--109
Clement McGowan The Contour Model Lambda Calculus
Machine . . . . . . . . . . . . . . . . 110--115
Raymond E. Miller A boundary between decidability and
undecidability for parallel program
schemata (Extended Abstract) . . . . . . 116--120
Ralph L. London Correctness of a compiler for a Lisp
subset . . . . . . . . . . . . . . . . . 121--127
Peter Wegner Operational semantics of programming
languages . . . . . . . . . . . . . . . 128--141
John A. N. Lee The definition and validation of the
radix sorting technique . . . . . . . . 142--149
C. B. Jones Formal development of correct
algorithms: An example based on Earley's
recogniser . . . . . . . . . . . . . . . 150--169
Daniel M. Berry The equivalence of models of tasking . . 170--190
Clement L. McGowan The ``most recent'' error: Its causes
and correction . . . . . . . . . . . . . 191--202
Michel Sintzoff Calculating properties of programs by
valuations on specific models . . . . . 203--207
T. E. Cheatham, Jr. and
Ben Wegbreit On a laboratory for the study of
automating programming . . . . . . . . . 208--211
Christopher J. Shaw Errata to 1971 November 10 issue . . . . 18--18
Christopher J. Shaw Errata to 1971 September issue . . . . . 18--18
M. H. Halstead Natural laws controlling algorithm
structure? . . . . . . . . . . . . . . . 19--26
R. A. Snowdon PEARL: an interactive system for the
preparation and validation of structured
programs . . . . . . . . . . . . . . . . 9--26
M. A. Jenkins DOMINO: an APL primitive function for
matrix inversion --- its implementation
and applications . . . . . . . . . . . . 29--40
C. Pettus Indeterminate $0 \div 0$ check in APL 40--41
K. W. Smillie APLISP: a simple list processor in APL 41--45
Phillip S. Abrams and
Lawrence M. Breed COLLOQUE APL: Paris, September 1971 . . 45--47
J. F. Clementi and
R. P. Fletcher and
B. G. James Modification to the APL/1130 system:
part 3 . . . . . . . . . . . . . . . . . 47--49
Robert P. Fletcher Algorithms: number 77 multiple
integration . . . . . . . . . . . . . . 55--64
B. N. Dickman Review of ``Symposium on some directions
in high-level languages'' . . . . . . . 4--8
J. David McGonagle Notes on the computer program test
methods symposium . . . . . . . . . . . 8--12
W. A. Wulf Project Rosetta Stone: an exhibition of
languages for system implementation . . 13--13
Leonard Mor and
Joseph H. Yott and
Hans Zima Progress: a programming language for
real-time systems . . . . . . . . . . . 4--24
Bernard Lang A new technique for data monitoring . . 41--42
J. G. Fletcher and
C. S. Badger and
G. L. Boer and
G. G. Marshall On the appropriate language for system
programming . . . . . . . . . . . . . . 28--30
B. A. Wichmann Estimating the execution speed of an
Algol program . . . . . . . . . . . . . 24--44
Edward J. Krall An implementation of on-conditions in
LISP . . . . . . . . . . . . . . . . . . 13--20
B. M. Schwartz Design and implementation of PL/I
preprocessor-based systems . . . . . . . 21--36
Mark B. Wells A review of two-dimensional programming
languages . . . . . . . . . . . . . . . 1--10
Melvin Klerer The economics, politics, and sociology
of two-dimensional systems . . . . . . . 11--22
H. J. Gawlik Progress in MIRFAC . . . . . . . . . . . 23--29
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
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
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
Mark Rain Operation expressions in MARY . . . . . 7--14
Edward C. Haines AL: a structured assembly language . . . 15--20
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
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
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
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
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 . . . . . . . ??
Jed B. Marti ELMOL: a language for the real time
generation of electronic music . . . . . 23--30
S. Cohen Speakeasy . . . . . . . . . . . . . . . 31--44
I. Nassi and
B. Shneiderman Flowchart techniques for structured
programming . . . . . . . . . . . . . . 12--26
S. Cohen TSO-speakeasy newsletter #5 . . . . . . 27--32
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
David Beech and
Michael Marcotty Unfurling the PL/I standard . . . . . . 12--43
F. G. Pagan On the teaching of disciplined
programming . . . . . . . . . . . . . . 44--48
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
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
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
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
Neodet Bulut and
Maurice H. Halstead Impurities found in algorithm
implementations . . . . . . . . . . . . 9--12
Richard H. Karpinski An unstructured view of structured
programming . . . . . . . . . . . . . . 12--20
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
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
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
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 . . . . . . . . . . . . . . ??
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 Draft proposed ANS FORTRAN . . . . . . . 1--223
ANSI Subcommittee X3J3 Draft Proposed ANS Fortran . . . . . . . various
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
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
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
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
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
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
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
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
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
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
binary relations . . . . . . . . . . . . 38--55
Alan R. Korncoff and
Charles H. Goodspeed SAGES: System Aiding the Generation of
Engineering Software . . . . . . . . . . 56--73
William C. Nylin, Jr. and
John B. Harvill Multiple tense computer programming . . 74--93
D. Schwabe and
C. J. Lucena Specification and uniform reference to
data structures in PL/1 . . . . . . . . 94--104
Daniel Sehwabe and
Carlos J. Lucena Specification and uniform reference to
data structures in PL/I . . . . . . . . 94--104
R. J. Chevance Design of high level language oriented
processors . . . . . . . . . . . . . . . 40--51
R. M. De Morgan and
I. D. Hill and
B. A. Wichmann A supplement to the ALGOL 60 revised
report . . . . . . . . . . . . . . . . . 52--66
Michael B. Feldman Embedding extended arithmetic in SNOBOL4 67--72
Edward N. Kittlitz Another proposal for variable size
arrays in PASCAL . . . . . . . . . . . . 82--86
Peter Ludemann A language design for program structure 87--92
L. P. Meissner FORTRAN 77 . . . . . . . . . . . . . . . 93--94
David Salomon A design for Fortran to facilitate
structured programming . . . . . . . . . 95--100
B. W. Lampson and
J. J. Horning and
R. L. London and
J. G. Mitchell and
G. J. Popek Report on the programming language
Euclid . . . . . . . . . . . . . . . . . 1--77
Allen L. Ambler and
Donald I. Good and
James C. Browne and
Wilhelm F. Burger and
Richard M. Cohen and
Charles G. Hoch and
Robert E. Wells Gypsy: A language for specification and
implementation of verifiable programs 1--10
G. J. Popek and
J. J. Horning and
B. W. Lampson and
J. G. Mitchell and
R. L. London Notes on the design of Euclid . . . . . 11--18
Charles N. Fischer and
Richard J. LeBlanc Efficient implementation and
optimization of run-time checking in
PASCAL . . . . . . . . . . . . . . . . . 19--24
Allen L. Ambler and
Charles G. Hoch A study of protection in programming
languages . . . . . . . . . . . . . . . 25--40
Daniel P. Friedman and
David S. Wise Aspects of applicative programming for
file systems (Preliminary Version) . . . 41--55
Robert G. Herriot Towards the ideal programming language 56--62
Jhon V. Guttag and
Ellis Horowitz and
David R. Musser Some extensions to algebraic
specifications . . . . . . . . . . . . . 63--67
Normand Buckle Restricted data types, specification and
enforcement of invariant properties of
variables . . . . . . . . . . . . . . . 68--76
Patrick Causot and
Radhia Cousot Static determination of dynamic
properties of generalized type unions 77--94
P. Cousot and
R. Cousot Static determination of dynamic
properties of generalized type unions 77--94
P. M. Melliar-Smith and
B. Randell Software reliability: The role of
programmed exception handling . . . . . 95--100
M. Donald MacLaren Exception handling in PL/I . . . . . . . 101--104
Tom Love An experimental investigation of the
effect of program structure on program
understanding . . . . . . . . . . . . . 105--113
Gregory R. Andrews and
James R. McGraw Language features for process
interaction . . . . . . . . . . . . . . 114--127
D. B. Lomet Process structuring, synchronization,
and recovery using atomic actions . . . 128--137
Charles M. Geschke and
James H. Morris, Jr. and
Edwin H. Satterthwaite Early experience with Mesa . . . . . . . 138--138
Mary Shaw and
Wm A. Wulf and
Ralph L. London Abstraction and verification in Alphard:
Defining and specifying iteration and
generators . . . . . . . . . . . . . . . 139--139
Barbara Liskov and
Alan Snyder and
Russell Atkinson and
Craig Schaffert Abstraction mechanisms in CLU . . . . . 140--140
J. D. Gannon An experimental evaluation of data types
on programming reliability . . . . . . . 141--141
N. Wirth Towards a discipline of real-time
programming . . . . . . . . . . . . . . 142--142
Anonymous Fortran Development Newsletter: Volume
3, Number 1, January 1977, pp. 1--10:
X3J3 Expects to Complete Fortran 77
Revised at March Meeting . . . . . . . . 21--30
Albrecht Biedl An extension of programming languages
for clerical computation in science and
engineering with special reference to
PASCAL . . . . . . . . . . . . . . . . . 31--33
David E. Boddy Structured Fortran: with or without a
preprocessor . . . . . . . . . . . . . . 34--39
Ralph E. Griswold and
David R. Hanson An overview of SL5 . . . . . . . . . . . 40--50
Richard Hamlet Ignorance of ALGOL 68 considered harmful 51--56
Edward T. Hartnett Star Fortran: an overview of essential
characteristics . . . . . . . . . . . . 57--66
M. Huybrechts DYNOSOR: a set of subroutines for
dynamic memory organization in Fortran
programs . . . . . . . . . . . . . . . . 67--74
Tony Middleton A macro approach to abstractions of data
structures . . . . . . . . . . . . . . . 75--79
S. K. Robinson and
I. S. Torsun The automatic measurement of the
relative merits of student programs . . 80--93
Anders Beckman Comments considered harmful . . . . . . 94--96
A. van Wijngaarden and
B. J. Mailloux and
J. E. L. Peck and
Koster and
C. H. A. and
M. Sintzoff and
C. H. Lindsey and
L. G. L. T. Meertens and
R. G. Fisker Revised report on the algorithmic
language ALGOL 68 . . . . . . . . . . . 1--70
P. G. Hibbard A sublanguage of ALGOL 68 . . . . . . . 71--79
W. J. Hansen and
H. Boom The report on the standard hardware
representation for ALGOL 68 . . . . . . 80--87
S. G. van der Meulen ALGOL 68 might-have-beens . . . . . . . 1--18
P. G. Craven Derivatives without tears in Algol 68 19--26
D. F. Brailsford and
E. Foxley and
K. C. Mander and
D. J. Morgan Run-time profiling of Algol 68-R
programs using DIDYMUS and SCAMP . . . . 27--35
M. A. Hennell and
D. Hedley and
M. R. Woodward Quantifying the test effectiveness of
Algol 68 programs . . . . . . . . . . . 36--41
Péter Szöke Some remarks on new instances and
garbage collection . . . . . . . . . . . 42--48
R. B. Hunter and
A. D. McGettrick and
R. Patel LL versus LR parsing with illustrations
from ALGOL 68 . . . . . . . . . . . . . 49--53
Frank G. Pagan ALGOL 68 as an implementation language
for portable interpreters . . . . . . . 54--62
C. F. Vansina Description of dynamic manipulation of
ALGOL 68 values using a generative
grammar . . . . . . . . . . . . . . . . 63--70
J. C. van Vliet Towards a machine-independent transput
section . . . . . . . . . . . . . . . . 71--77
Dick Grune Towards the design of a super-language
of ALGOL 68 for the Standard Prelude
(Excerpt) . . . . . . . . . . . . . . . 78--81
Andrew D. Birrell Storage management for ALGOL 68 . . . . 82--94
P. J. Gardner A transportation of ALGOL 68C . . . . . 95--101
Wilfried Koch and
Christoph Oeters The Berlin ALGOL 68 implementation . . . 102--108
Daniel Taupin The ALGOL 68 compiler of Paris-XI
University (Orsay) . . . . . . . . . . . 109--116
Bernard Houssais Verification of an Algol 68
implementation . . . . . . . . . . . . . 117--128
M. Simonet An attribute description of a subset of
Algol 68 . . . . . . . . . . . . . . . . 129--137
A. Prudom and
M. A. Hennell Some problems concerning the automatic
translation of Fortran to Algol 68 . . . 138--143
R. J. W. Housden and
N. Kotarski Character string pattern matching in
Algol 68 . . . . . . . . . . . . . . . . 144--152
M. W. Bennett Implementation of a PDP11/ICL1900 cross
assembler in Algol 68R . . . . . . . . . 153--156
Bryan Ratcliff ALGOL 68 and structured programming for
learner-programmers . . . . . . . . . . 157--160
J. M. Foster and
P. D. Foster Abstract data and functors . . . . . . . 161--167
I. C. Braid and
R. C. Hillyard Geometric modelling in ALGOL 68 . . . . 168--174
P. R. West A Multi Radar Tracking simulation using
ALGOL 68'R . . . . . . . . . . . . . . . 175--178
V. J. Rayward-Smith Using procedures in list processing . . 179--183
Roy Edwards Is Pascal a logical subset of Algol 68
or not? Part One . . . . . . . . . . . . 184--191
R. A. Freiburghouse Proposed extensions to PL/I for
real-time applications . . . . . . . . . 26--42
George Atkinson The non-desirability of structured
programming in user languages . . . . . 43--50
Richard J. Cichelli and
Martha J. Cichelli Goal directed programming . . . . . . . 51--59
Piotr Dembinski and
Richard Schwartz The taming of the pointer . . . . . . . 60--74
Dick Grune A view of coroutines . . . . . . . . . . 75--81
Jon Hueras and
Henry Ledgard An automatic formatting program for
PASCAL . . . . . . . . . . . . . . . . . 82--84
Peter Karasz An intermediate systems language for the
PDP-11 . . . . . . . . . . . . . . . . . 85--100
Henry Ledgard and
Andrew Singer and
Jon Hueras A basis for executing PASCAL programmers 101--105
C. M. Thomson Error checking, tracing, and dumping in
an ALGOL 68 checkout compiler . . . . . 106--111
John D. Woolley FORTRAN: A Comparison of the New
Proposed Language (1976) to the Old
Standard (1966) . . . . . . . . . . . . 112--125
Michael R. Levy Some remarks on abstract data types . . 126--128
Patrick Cousot and
Radhia Cousot Automatic synthesis of optimal invariant
assertions: Mathematical foundations . . 1--12
Lawrence Yelowitz and
Arthur G. Duncan Abstractions, instantiations, and proofs
of marking algorithms . . . . . . . . . 13--21
John Wade Ulrich and
Robert Moll Program synthesis by analogy . . . . . . 22--28
Zohar Manna and
Richard Waldinger The automatic synthesis of recursive
programs . . . . . . . . . . . . . . . . 29--36
Michael D. Rychener Control requirements for the design of
production system architectures . . . . 37--44
Randall Davis Generalized procedure calling and
content-directed invocation . . . . . . 45--54
Henry C. Baker, Jr. and
Carl Hewitt The incremental garbage collection of
processes . . . . . . . . . . . . . . . 55--59
Guy Lewis Steele, Jr. Macaroni is better than spaghetti (stack
implementation) . . . . . . . . . . . . 60--66
Larry Travis and
Masahiro Honda and
Richard LeBlanc and
Stephen Zeigler Design rationale for TELOS, a
PASCAL-based AI language . . . . . . . . 67--76
David Wile and
Robert Balzer and
Neil Goldman Automated derivation of program control
structure from natural language program
descriptions . . . . . . . . . . . . . . 77--84
Jerry R. Hobbs What the nature of natural language
tells us about how to make
natural-language-like programming
languages more natural . . . . . . . . . 85--93
Ralph E. Griswold and
David R. Hanson Language facilities for programmable
backtracking . . . . . . . . . . . . . . 94--99
H. P. Böhm and
H. L. Fischer and
P. Raulefs CSSA: Language concepts and programming
methodology . . . . . . . . . . . . . . 100--108
David H. D. Warren and
Luis M. Pereira and
Fernando C. N. Pereira Prolog: The Language and Its
Implementation Compared with Lisp . . . 109--115
Johan de Kleer and
Jon Doyle and
Guy L. Steele, Jr. and
Gerald Jay Sussman AMORD explicit control of reasoning . . 116--125
Christopher W. Fraser A knowledge-based code generator
generator . . . . . . . . . . . . . . . 126--129
Brian P. McCune The PSI Program Model Builder ---
synthesis of very high-level programs 130--139
Elaine Kant The selection of efficient
implementations for a high-level
language . . . . . . . . . . . . . . . . 140--146
Stanley J. Rosenschein and
Shmuel M. Katz Selection of representations for data
structures . . . . . . . . . . . . . . . 147--154
Hanan Samet A normal form for compiler testing . . . 155--162
D. F. Kibler and
J. M. Neighbors and
T. A. Standish Program manipulation via an efficient
production system . . . . . . . . . . . 163--173
Philippe Chatelin Self-redefinition as a program
manipulation strategy . . . . . . . . . 174--179
R. D. Dowsing Structured programming constructs for
concurrency in program optimisation . . 31--35
Roy F. Keller On control constructs for constructing
programs . . . . . . . . . . . . . . . . 36--44
Menachem Malkosh Internal procedure parameters in
structured FORTRAN precompilers . . . . 45--51
Peter Rechenberg MUMS: a machine independent programming
language consisting of 360 assembler
macro calls . . . . . . . . . . . . . . 52--59
Frederic N. Ris A unified decimal floating-point
architecture for the support of
high-level languages . . . . . . . . . . 60--70
Paul Rutter Uniform handling of exceptions in a
stack based language . . . . . . . . . . 71--76
Stefan M. Silverston Extensions to SNOBOL4 in the SNOBAT
implementation . . . . . . . . . . . . . 77--84
David N. Smith Proposals for Fortran data structures 85--102
Nobuyoshi Terashima The hierarchical language system . . . . 103--113
Robert W. Witty The switching reverse Polish algorithm 114--123
Michiaki Yasumura Evolution of loop statements . . . . . . 124--129
R. A. Fraley On replacing Fortran . . . . . . . . . . 130--132
R. J. Chevance Design of high level language oriented
processors . . . . . . . . . . . . . . . 10--32
Stephen Leibowitz Interactive computing . . . . . . . . . 33--36
Mila E. . Majster Limits of the ``algebraic''
specification of abstract data types . . 37--42
Tony Middleton Specifying program structure through
sequence relationships . . . . . . . . . 43--47
Jean E. Musinski Lookahead recall error recovery for LALR
parsers . . . . . . . . . . . . . . . . 48--60
Glenford J. Myers An extension to the cyclomatic measure
of program complexity . . . . . . . . . 61--64
Michael D. Shapiro Fortran 77 input-output seems out of
touch . . . . . . . . . . . . . . . . . 65--69
Stefan M. Silverston A note on pattern matching under
Quickscan in SNOBOL4 . . . . . . . . . . 70--74
Alan Filipski Call by restricted memory reference . . 75--77
George E. Lindamood What's in a name? . . . . . . . . . . . 78--80
D. Bates and
R. Cailliau Experience with Pascal compilers on
mini-computers . . . . . . . . . . . . . 10--22
Michael N. Condict The Pascal dynamic array controversy and
a method for enforcing global assertions 23--27
D. R. Ditzel and
P. C. Hutchison MASK and FORMAT: operators for editing
and formatting . . . . . . . . . . . . . 28--35
C. H. Lindsey Structure charts --- a structured
alternative to flowcharts . . . . . . . 36--49
T. Radhakrishnan and
I. A. Syed Towards a programming language for the
implementation of information storage
and retrieval systems . . . . . . . . . 50--54
Arthur Sedgwick Structuring control in Fortran . . . . . 55--60
Guy L. Steele, Jr. Arithmetic shifting considered harmful 61--69
Thomas R. Wilcox Aspen language specifications . . . . . 70--87
Makoto Arisawa Programming languages with hierarchical
structure . . . . . . . . . . . . . . . 36--38
Anonymous Department of Defense requirements for
high order computer programming
languages. Revised `IRONMAN' July, 1977.
The technical requirements . . . . . . . 39--54
Harvey Abramson Ordered types and a generalized
\underlinefor statement . . . . . . . . 55--59
Walt Brainerd A proposal for a Fortran loop construct 60--67
G. Chroust Scope conserving expression evaluation:
a class of storage optimal evaluation
strategies for arithmetic expressions 68--72
Frederic Richard and
Henry F. Ledgard A reminder for language designers . . . 73--82
James L. Peterson On the formatting of Pascal programs . . 83--86
M. G. Richardson The use of names to indicate the scope
of structured language constructs . . . 87--87
Oddur Benediktsson Notes on argument-parameter association
in Fortran . . . . . . . . . . . . . . . 16--20
D. Brand A note on data abstractions . . . . . . 21--24
Anonymous Parallelism, control and synchronization
expression in a single assignment
language . . . . . . . . . . . . . . . . 25--33
D. Comte and
G. Durrieu and
O. Gelly and
A. Plas and
J. C. Syre Parallelism, control and synchronization
expression in a single assignment
language . . . . . . . . . . . . . . . . 25--33
O. Ferstl Flowcharting by stepwise refinement . . 34--42
J. Ceorges and
F. Heymans On parametric array expressions . . . . 43--47
J. Georges and
F. Heymans On parametric array expressions . . . . 43--47
M. Iglewski and
J. Madey and
S. Matwin A contribution to an improvement of
Pascal . . . . . . . . . . . . . . . . . 48--58
A. J. Payne A formalised technique for expressing
compiler exercisers . . . . . . . . . . 59--69
David B. Wortman A rooster of XPL implementations . . . . 70--74
W. A. Whitaker The US Department of Defense common
higher order language effort . . . . . . 19--29
James L. Elshoff An investigation into the effects of the
counting method used on software science
measurements . . . . . . . . . . . . . . 30--45
Phil Grouse ``Flowblocks'' --- a technique for
structured programming . . . . . . . . . 46--56
Gary J. Nutt A comparison of PASCAL and FORTRAN as
introductory programming languages . . . 57--62
David C. Pflasterer An approach to efficient, fault tolerant
programming . . . . . . . . . . . . . . 63--70
D. Wood A bibliography of top-down deterministic
parsing . . . . . . . . . . . . . . . . 71--76
Anonymous News of past events . . . . . . . . . . 9--10
Robert L. Glass Patching is alive and, lamentably,
thriving in the real-time world . . . . 25--28
Wilfred J. Hansen Measurement of program complexity by the
pair: (Cyclomatic Number, Operator
Count) . . . . . . . . . . . . . . . . . 29--33
Ernest Chang and
Neil E. Kaden and
W. David Elliott Abstract data types in Euclid . . . . . 34--42
Edward G. Aseltine and
Henry Spencer Isolation of machine dependencies in
Euclid . . . . . . . . . . . . . . . . . 43--48
Jim des Rivieres and
Henry Spencer Readability and writability in Euclid 49--56
Ted Venema and
Jim des Rivieres Euclid and Pascal . . . . . . . . . . . 57--69
David T. Barnard and
W. David Elliott and
David H. Thompson Euclid and Modula . . . . . . . . . . . 70--84
W. David Elliott Index to the Euclid report . . . . . . . 85--89
Robert G. Estell A chapter in the history of DOD-1 . . . 90--92
Forest Baskett The best simple code generation
technique for \tt WHILE, \tt FOR, and
\tt DO loops . . . . . . . . . . . . . . 31--32
John C. Burda The translation of Boolean: expressions
into optimal transfer logic code for the
OLIVER data base management system
compiler . . . . . . . . . . . . . . . . 33--43
R. J. Chevance and
T. Heidet Static profile and dynamic behavior of
COBOL programs . . . . . . . . . . . . . 44--57
Mitchell H. Clifton A technique for making structured
programs more readable . . . . . . . . . 58--63
Douglas W. Jones A note on some limits of the algebraic
specification method . . . . . . . . . . 64--67
Tom Jacobsen Another view of coroutines . . . . . . . 68--75
William Slater and
Howard Modell Structured programming considered
harmful . . . . . . . . . . . . . . . . 76--79
P. A. Subrahmanyam On a finite axiomatization of the data
type L . . . . . . . . . . . . . . . . . 80--84
J. V. Peschke Comment on a paper of R. A.
Freiburghouse . . . . . . . . . . . . . 85--88
Richard L. Wexelblat and
Debra D. Child New books . . . . . . . . . . . . . . . 7--8
G. J. Battarel and
R. J. Chevance Requirements for a safe PL/1
implementation . . . . . . . . . . . . . 12--22
Jean Bezivin and
Jean-Louis Nebut and
Robert Rannou Another view of coroutines . . . . . . . 23--35
Ned Chapin and
Susan P. Denniston Characteristics of a structured program 36--45
D. R. Ditzel Pattern matching for high level
languages . . . . . . . . . . . . . . . 46--55
Michael B. Feldman Embedding sparse matrix operations in
SNOBOL4 . . . . . . . . . . . . . . . . 56--64
R. C. Holt and
G. S. Graham and
E. D. Lazowska and
M. A. Scott Announcing CONCURRENT SP/k . . . . . . . 65--68
Glen B. Alleman Parameter validation for software
reliability . . . . . . . . . . . . . . 18--28
James L. Elshoff A study of the structural composition of
PL/I programs . . . . . . . . . . . . . 29--37
Janusz Górski Sticky variables and memory optimization 38--48
Victor Schneider Prediction of software effort and
project duration: four new formulas . . 49--59
R. L. Wexelblat and
Debbie Child New books . . . . . . . . . . . . . . . 14--17
Lloyd Allison On nondeterministic control structures 18--20
Edsger W. Dijkstra DoD-I: the summing up . . . . . . . . . 21--26
B. Ford Parameterisation of the environment for
transportable numerical software . . . . 27--30
Brian Lewis Further comments on ``A view of
coroutines'' . . . . . . . . . . . . . . 31--33
Patricia R. Mohilner Prettyprinting PASCAL programs . . . . . 34--40
Rodney Parkin On the use of keywords for passing
procedure parameters . . . . . . . . . . 41--42
Stef. W. Postma FEA: a formal English subset for
Algebra/Assertions . . . . . . . . . . . 43--59
David Gries ACM SIGPLAN history of programming
languages conference ALGOL 60 language
summary . . . . . . . . . . . . . . . . 1--1
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
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
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
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
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
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
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
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
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
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
Jean D. Ichbiah Preliminary Ada Reference Manual . . . . 1--145
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
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
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
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
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
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
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
Linda Zucconi A comment on ``Control flow complexity
and structuredness of programs'' by
Srinivasan and Gopalakrishna . . . . . . 82--84