ACM SIGPLAN Notices
Volume 3, Number 5, May, 1968

Anonymous Toward a semiotic theory of programming
languages . . . . . . . . . . . . . . . 24--27


ACM SIGPLAN Notices
Volume 4, Number 2, February, 1969

C. J. Shaw Review of UCC seminar on ``Programming
Languages Today'' . . . . . . . . . . . 24--25
ACM SIGPLAN Notices
Volume 4, Number 5, May, 1969

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
ACM SIGPLAN Notices
Volume 4, Number 8, August, 1969

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
ACM SIGPLAN Notices
Volume 4, Number 9, September, 1969

D. G. Bobrow LISP bulletin . . . . . . . . . . . . . 17--57


ACM SIGPLAN Notices
Volume 5, Number 1--2, 1970

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
ACM SIGPLAN Notices
Volume 5, Number 3, March, 1970

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
ACM SIGPLAN Notices
Volume 5, Number 4--5, 1970

Henry F. Ledgard Ten mini-languages in need of formal
definition . . . . . . . . . . . . . . . 14--37
ACM SIGPLAN Notices
Volume 5, Number 6, June, 1970

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
ACM SIGPLAN Notices
Volume 5, Number 7, July, 1970

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
ACM SIGPLAN Notices
Volume 5, Number 9, September, 1970

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
ACM SIGPLAN Notices
Volume 5, Number 10, October, 1970

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
ACM SIGPLAN Notices
Volume 5, Number 11, November, 1970

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
ACM SIGPLAN Notices
Volume 5, Number 12, December, 1970

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


ACM SIGPLAN Notices
Volume 6, Number 1, January, 1971

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
ACM SIGPLAN Notices
Volume 6, Number 2, February, 1971

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
ACM SIGPLAN Notices
Volume 6, Number 4, May, 1971

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
ACM SIGPLAN Notices
Volume 6, Number 5, July, 1971

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
ACM SIGPLAN Notices
Volume 6, Number 6, July, 1971

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
ACM SIGPLAN Notices
Volume 6, Number 8, September, 1971

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
ACM SIGPLAN Notices
Volume 6, Number 9, October, 1971

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
ACM SIGPLAN Notices
Volume 6, Number 10, November, 1971

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
ACM SIGPLAN Notices
Volume 6, Number 11, November, 1971

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) . . . . . . . ?? ACM SIGPLAN Notices
Volume 6, Number 12, December, 1971

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


ACM SIGPLAN Notices
Volume 7, Number 1, January, 1972

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
ACM SIGPLAN Notices
Volume 7, Number 2, February, 1972

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
ACM SIGPLAN Notices
Volume 7, Number 3, March, 1972

R. A. Snowdon PEARL: an interactive system for the
preparation and validation of structured
programs . . . . . . . . . . . . . . . . 9--26
ACM SIGPLAN Notices
Volume 7, Number 4, April, 1972

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
ACM SIGPLAN Notices
Volume 7, Number 5, May, 1972

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
ACM SIGPLAN Notices
Volume 7, Number 6, June, 1972

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
ACM SIGPLAN Notices
Volume 7, Number 7, July, 1972

J. G. Fletcher and
C. S. Badger and
G. L. Boer and
G. G. Marshall On the appropriate language for system
programming . . . . . . . . . . . . . . 28--30
ACM SIGPLAN Notices
Volume 7, Number 8, August, 1972

B. A. Wichmann Estimating the execution speed of an
Algol program . . . . . . . . . . . . . 24--44
ACM SIGPLAN Notices
Volume 7, Number 9, 1972

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
ACM SIGPLAN Notices
Volume 7, Number 10, October, 1972

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

[continued in next message]

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

ACM SIGPLAN Notices
Volume 12, Number 1, January, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 2, February, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 3, March, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 4, April, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 5, May, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 6, June, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 7, July, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 8, August, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 9, September, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 10, October, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 11, November, 1977

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
ACM SIGPLAN Notices
Volume 12, Number 12, December, 1977

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


ACM SIGPLAN Notices
Volume 13, Number 1, January, 1978

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
ACM SIGPLAN Notices
Volume 13, Number 2, February, 1978

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
ACM SIGPLAN Notices
Volume 13, Number 3, March, 1978

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
ACM SIGPLAN Notices
Volume 13, Number 4, April, 1978

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
ACM SIGPLAN Notices
Volume 13, Number 5, May, 1978

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
ACM SIGPLAN Notices
Volume 13, Number 6, June, 1978

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
ACM SIGPLAN Notices
Volume 13, Number 7, July, 1978

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
ACM SIGPLAN Notices
Volume 13, Number 8, August, 1978

David Gries ACM SIGPLAN history of programming
languages conference ALGOL 60 language
summary . . . . . . . . . . . . . . . . 1--1

[continued in next message]

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