Table of contents for issues of ACM SIG{}PLAN Notices

Last update: Sat Jan 13 11:55:59 MST 2024                Valid HTML 3.2!

Volume 3, Number 5, May, 1968
Volume 4, Number 2, February, 1969
Volume 4, Number 5, May, 1969
Volume 4, Number 8, August, 1969
Volume 4, Number 9, September, 1969
Volume 5, Number 1--2, 1970
Volume 5, Number 3, March, 1970
Volume 5, Number 4--5, 1970
Volume 5, Number 6, June, 1970
Volume 5, Number 7, July, 1970
Volume 5, Number 9, September, 1970
Volume 5, Number 10, October, 1970
Volume 5, Number 11, November, 1970
Volume 5, Number 12, December, 1970
Volume 6, Number 1, January, 1971
Volume 6, Number 2, February, 1971
Volume 6, Number 4, May, 1971
Volume 6, Number 5, July, 1971
Volume 6, Number 6, July, 1971
Volume 6, Number 8, September, 1971
Volume 6, Number 9, October, 1971
Volume 6, Number 10, November, 1971
Volume 6, Number 11, November, 1971
Volume 6, Number 12, December, 1971
Volume 7, Number 1, January, 1972
Volume 7, Number 2, February, 1972
Volume 7, Number 3, March, 1972
Volume 7, Number 4, April, 1972
Volume 7, Number 5, May, 1972
Volume 7, Number 6, June, 1972
Volume 7, Number 7, July, 1972
Volume 7, Number 8, August, 1972
Volume 7, Number 9, 1972
Volume 7, Number 10, October, 1972
Volume 7, Number 11, November, 1972
Volume 7, Number 12, December, 1972
Volume 8, Number 1, January, 1973
Volume 8, Number 2, February, 1973
Volume 8, Number 3, March, 1973
Volume 8, Number 4, April, 1973
Volume 8, Number 5, May, 1973
Volume 8, Number 6, June, 1973
Volume 8, Number 7, July, 1973
Volume 8, Number 8, August, 1973
Volume 8, Number 9, September, 1973
Volume 8, Number 10, October, 1973
Volume 8, Number 11, November, 1973
Volume 8, Number 12, December, 1973
Volume 9, Number 1, January, 1974
Volume 9, Number 2, February, 1974
Volume 9, Number 3, March, 1974
Volume 9, Number 4, April, 1974
Volume 9, Number 5, May, 1974
Volume 9, Number 6, June, 1974
Volume 9, Number 7, July, 1974
Volume 9, Number 8, August, 1974
Volume 9, Number 9, September, 1974
Volume 9, Number 10, October, 1974
Volume 9, Number 11, November, 1974
Volume 9, Number 12, December, 1974
Volume 10, Number 1, January, 1975
Volume 10, Number 2, February, 1975
Volume 10, Number 3, March, 1975
Volume 10, Number 4, April, 1975
Volume 10, Number 5, May, 1975
Volume 10, Number 6, June, 1975
Volume 10, Number 7, July, 1975
Volume 10, Number 8, August, 1975
Volume 10, Number 9, September, 1975
Volume 10, Number 10, October, 1975
Volume 10, Number 11, November, 1975
Volume 10, Number 12, December, 1975
Volume 11, Number 1, January, 1976
Volume 11, Number 2, February, 1976
Volume 11, Number 3, March, 1976
Volume 11, Number 3S, March, 1976
Volume 11, Number 4, April 1, 1976
Volume 11, Number 5, May, 1976
Volume 11, Number 6, June, 1976
Volume 11, Number 7, July, 1976
Volume 11, Number 8, August, 1976
Volume 11, Number 9, September, 1976
Volume 11, Number 10, October, 1976
Volume 11, Number 11, November, 1976
Volume 11, Number 12, December, 1976
Volume 12, Number 1, January, 1977
Volume 12, Number 2, February, 1977
Volume 12, Number 3, March, 1977
Volume 12, Number 4, April, 1977
Volume 12, Number 5, May, 1977
Volume 12, Number 6, June, 1977
Volume 12, Number 7, July, 1977
Volume 12, Number 8, August, 1977
Volume 12, Number 9, September, 1977
Volume 12, Number 10, October, 1977
Volume 12, Number 11, November, 1977
Volume 12, Number 12, December, 1977
Volume 13, Number 1, January, 1978
Volume 13, Number 2, February, 1978
Volume 13, Number 3, March, 1978
Volume 13, Number 4, April, 1978
Volume 13, Number 5, May, 1978
Volume 13, Number 6, June, 1978
Volume 13, Number 7, July, 1978
Volume 13, Number 8, August, 1978
Volume 13, Number 9, September, 1978
Volume 13, Number 10, October, 1978
Volume 13, Number 11, November, 1978
Volume 13, Number 12, December, 1978
Volume 14, Number 1, January, 1979
Volume 14, Number 2, February, 1979
Volume 14, Number 3, March, 1979
Volume 14, Number 4, April, 1979
Volume 14, Number 5, May, 1979
Volume 14, Number 6a, June, 1979
Volume 14, Number 6b, June, 1979
Volume 14, Number 7, July, 1979
Volume 14, Number 8, August, 1979
Volume 14, Number 9, September, 1979
Volume 14, Number 10, October, 1979
Volume 14, Number 11, November, 1979
Volume 14, Number 12, December, 1979
Volume 15, Number 2, February, 1980


ACM SIG{}PLAN Notices
Volume 3, Number 5, May, 1968

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


ACM SIG{}PLAN Notices
Volume 4, Number 2, February, 1969

                     C. J. Shaw   Review of UCC seminar on ``Programming
                                  Languages Today''  . . . . . . . . . . . 24--25

ACM SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN Notices
Volume 4, Number 9, September, 1969

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


ACM SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN Notices
Volume 5, Number 4--5, 1970

               Henry F. Ledgard   Ten mini-languages in need of formal
                                  definition . . . . . . . . . . . . . . . 14--37

ACM SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN Notices
Volume 7, Number 8, August, 1972

                 B. A. Wichmann   Estimating the execution speed of an
                                  Algol program  . . . . . . . . . . . . . 24--44

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

ACM SIG{}PLAN Notices
Volume 7, Number 11, November, 1972

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

ACM SIG{}PLAN Notices
Volume 7, Number 12, December, 1972

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


ACM SIG{}PLAN Notices
Volume 8, Number 1, January, 1973

                      Mark Rain   Operation expressions in MARY  . . . . . 7--14
               Edward C. Haines   AL: a structured assembly language . . . 15--20

ACM SIG{}PLAN Notices
Volume 8, Number 2, February, 1973

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

ACM SIG{}PLAN Notices
Volume 8, Number 3, March, 1973

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

ACM SIG{}PLAN Notices
Volume 8, Number 4, April, 1973

                Garth H. Foster   File action in APL: building new
                                  additions and placing the house in order 6--15
               Edward C. Haines   Omitted portions of paper: AL: a
                                  structured assembly language . . . . . . 16--21

ACM SIG{}PLAN Notices
Volume 8, Number 5, May, 1973

                Richard C. Holt   Teaching the fatal disease: (or)
                                  introductory computer programming using
                                  PL/I . . . . . . . . . . . . . . . . . . 8--23
                   Richard Dunn   SNOBOL4 as a language for bootstrapping
                                  a compiler . . . . . . . . . . . . . . . 28--32

ACM SIG{}PLAN Notices
Volume 8, Number 6, June, 1973

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

ACM SIG{}PLAN Notices
Volume 8, Number 7, July, 1973

                   Jed B. Marti   ELMOL: a language for the real time
                                  generation of electronic music . . . . . 23--30
                       S. Cohen   Speakeasy  . . . . . . . . . . . . . . . 31--44

ACM SIG{}PLAN Notices
Volume 8, Number 8, August, 1973

                   I. Nassi and   
                 B. Shneiderman   Flowchart techniques for structured
                                  programming  . . . . . . . . . . . . . . 12--26
                       S. Cohen   TSO-speakeasy newsletter #5  . . . . . . 27--32

ACM SIG{}PLAN Notices
Volume 8, Number 9, September, 1973

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

ACM SIG{}PLAN Notices
Volume 8, Number 10, October, 1973

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

ACM SIG{}PLAN Notices
Volume 8, Number 11, November, 1973

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

ACM SIG{}PLAN Notices
Volume 8, Number 12, December, 1973

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


ACM SIG{}PLAN Notices
Volume 9, Number 1, January, 1974

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

ACM SIG{}PLAN Notices
Volume 9, Number 2, February, 1974

              Ralph E. Griswold   Suggested revisions and additions to the
                                  syntax and control mechanisms of SNOBOL
                                  4  . . . . . . . . . . . . . . . . . . . 7--23
                    Jacob Palme   SIMULA as a tool for extensible program
                                  products . . . . . . . . . . . . . . . . 24--40

ACM SIG{}PLAN Notices
Volume 9, Number 3, March, 1974

               Neodet Bulut and   
            Maurice H. Halstead   Impurities found in algorithm
                                  implementations  . . . . . . . . . . . . 9--12
           Richard H. Karpinski   An unstructured view of structured
                                  programming  . . . . . . . . . . . . . . 12--20

ACM SIG{}PLAN Notices
Volume 9, Number 4, April, 1974

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

ACM SIG{}PLAN Notices
Volume 9, Number 5, May, 1974

               Paul W. Abrahams   Improving the control structure of
                                  SNOBOL4  . . . . . . . . . . . . . . . . 10--12
                Walter Bilofsky   Syntax extension and the IMP72
                                  programming language . . . . . . . . . . 13--30
            Amos N. Gileadi and   
               Henry F. Ledgard   On a proposed measure of program
                                  structure  . . . . . . . . . . . . . . . 31--36

ACM SIG{}PLAN Notices
Volume 9, Number 6, June, 1974

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

ACM SIG{}PLAN Notices
Volume 9, Number 7, July, 1974

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

ACM SIG{}PLAN Notices
Volume 9, Number 8, August, 1974

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

ACM SIG{}PLAN Notices
Volume 9, Number 9, September, 1974

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

ACM SIG{}PLAN Notices
Volume 9, Number 10, October, 1974

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

ACM SIG{}PLAN Notices
Volume 9, Number 11, November, 1974

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

ACM SIG{}PLAN Notices
Volume 9, Number 12, December, 1974

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


ACM SIG{}PLAN Notices
Volume 10, Number 1, January, 1975

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

ACM SIG{}PLAN Notices
Volume 10, Number 2, February, 1975

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

ACM SIG{}PLAN Notices
Volume 10, Number 3, March, 1975

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

ACM SIG{}PLAN Notices
Volume 10, Number 4, April, 1975

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

ACM SIG{}PLAN Notices
Volume 10, Number 5, May, 1975

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

ACM SIG{}PLAN Notices
Volume 10, Number 6, June, 1975

                  Ruth M. Davis   The software reliability game  . . . . . 1--1
             Edsger W. Dijkstra   Guarded commands, non-determinacy and a
                                  calculus for the derivation of programs  2--2.13
                 R. D. Williams   Managing the development of reliable
                                  software . . . . . . . . . . . . . . . . 3--8
               Victor Vyssotsky   Large-scale reliable software: Recent
                                  experience at Bell Labs  . . . . . . . . 9--9
               J. D. Gannon and   
                  J. J. Horning   The impact of language design on the
                                  production of reliable software  . . . . 10--22
                  Niklaus Wirth   An assessment of the programming
                                  language PASCAL  . . . . . . . . . . . . 23--30
              C. M. Geschke and   
                 J. G. Mitchell   On the problem of uniform references to
                                  data structures  . . . . . . . . . . . . 31--42
                    A. Cicu and   
                M. Maiocchi and   
                 R. Polillo and   
                     A. Sardoni   Organizing tests during software
                                  evolution  . . . . . . . . . . . . . . . 43--50
          E. F. Miller, Jr. and   
                   R. A. Melton   Automated generation of testcase
                                  datasets . . . . . . . . . . . . . . . . 51--58
             Leon G. Stucki and   
                 Gary L. Foshee   New assertion concepts for self-metric
                                  software validation  . . . . . . . . . . 59--71
             Barbara Liskov and   
                 Stephen Zilles   Specification techniques for data
                                  abstractions . . . . . . . . . . . . . . 72--87
               Susan L. Gerhart   Knowledge about programs: A model and
                                  case study . . . . . . . . . . . . . . . 88--95
         Laurian M. Chirica and   
                David F. Martin   An approach to compiler correctness  . . 96--103
                    J. C. Rault   Design verification techniques --- a
                                  review . . . . . . . . . . . . . . . . . 104--104
                B. W. Boehm and   
              R. K. McClean and   
                   D. B. Urfrig   Some experience with automated aids to
                                  the design of large-scale reliable
                                  software . . . . . . . . . . . . . . . . 105--113
              Frank DeRemer and   
                      Hans Kron   Programming-in-the large versus
                                  programming-in-the-small . . . . . . . . 114--121
                William A. Wulf   Reliable hardware-software architecture  122--130
               Donald J. Reifer   Automated aids for reliable software . . 131--142
                Shmuel Katz and   
                    Zohar Manna   Towards automatic debugging of programs  143--155
            F. W. von Henke and   
                  D. C. Luckham   A methodology for verifying programs . . 156--164
                 Michel Caplain   Finding Invariant assertions for proving
                                  programs . . . . . . . . . . . . . . . . 165--171
                    F. T. Baker   Structured programming in a production
                                  programming environment  . . . . . . . . 172--185
                L. M. Culpepper   A system for reliable engineering
                                  software . . . . . . . . . . . . . . . . 186--192
            Fred P. Brooks, Jr.   The Mythical Man-Month . . . . . . . . . 193--193
                  Isao Miyamoto   ``Software reliability in online real
                                  time environment'' . . . . . . . . . . . 194--203
                  B. Littlewood   A reliability model for Markov
                                  structured software  . . . . . . . . . . 204--207
           Ashok K. Trivedi and   
              Martin L. Shooman   A many-state Markov model for the
                                  estimation and prediction of computer
                                  software performance parameters  . . . . 208--220
                Peter Henderson   Finite state modelling in program
                                  development  . . . . . . . . . . . . . . 221--227
                  James C. King   A new approach to program testing  . . . 228--233
            Robert S. Boyer and   
             Bernard Elspas and   
                 Karl N. Levitt   SELECT: a formal system for testing and
                                  debugging programs by symbolic execution 234--245
               Raymond J. Rubey   Quantitative aspects of software
                                  validation . . . . . . . . . . . . . . . 246--251
                W. C. Lynch and   
              J. W. Langner and   
                 M. S. Schwartz   Reliability experience with Chi/OS . . . 252--259
                D. E. W. Bucher   Maintenance of the Computer Sciences
                                  Teleprocessing System  . . . . . . . . . 260--266
          Lawrence Robinson and   
             Karl N. Levitt and   
           Peter G. Neumann and   
                Ashok R. Saxena   On attaining reliable software for a
                                  secure operating system  . . . . . . . . 267--284
               K. G. Walter and   
               S. I. Schaen and   
                W. F. Ogden and   
               W. C. Rounds and   
              D. G. Shumway and   
            D. D. Schaeffer and   
                 K. J. Biba and   
             F. T. Bradshaw and   
                 S. R. Ames and   
                 J. M. Gilligan   Structured specification of a Security
                                  Kernel . . . . . . . . . . . . . . . . . 285--293
            Gerald J. Popek and   
               Charles S. Kline   A verifiable protection system . . . . . 294--304
               P. Brinch Hansen   The purpose of Concurrent PASCAL . . . . 305--309
              Per Brinch Hansen   The purpose of concurrent Pascal . . . . 305--309
            Ashok R. Saxena and   
                Thomas H. Bredt   A structured specification of a
                                  hierarchical operating system  . . . . . 310--318
            Michel Sintzoff and   
            Axel Van Lamsweerde   Constructing correct and efficient
                                  concurrent programs  . . . . . . . . . . 319--326
                  Albert Endres   An analysis of errors and their causes
                                  in system programs . . . . . . . . . . . 327--336
         Norman F. Schneidewind   Analysis of error processes in computer
                                  software . . . . . . . . . . . . . . . . 337--346
              M. L. Shooman and   
                   M. I. Bolsky   Types, distribution, and test and
                                  correction times for programming errors  347--357
                   D. L. Parnas   The influence of software structure on
                                  reliability  . . . . . . . . . . . . . . 358--362
                Harlan D. Mills   How to write correct programs and know
                                  it . . . . . . . . . . . . . . . . . . . 363--370
                 A. O. Buda and   
            A. A. Granovsky and   
                   A. P. Ershov   Implementation of the Alpha-6
                                  programming system . . . . . . . . . . . 371--381
          C. V. Ramamoorthy and   
                       S. F. Ho   Testing large software with automated
                                  software evaluation systems  . . . . . . 382--394
         Loren C. Carpenter and   
               Leonard L. Tripp   Software design validation tool  . . . . 395--400
                  N. P. Edwards   The effect of certain modular design
                                  principles on testability  . . . . . . . 401--410
                 Donald I. Good   Provable programming . . . . . . . . . . 411--419
              Mark S. Laventhal   Verifying programs which operate on data
                                  structures . . . . . . . . . . . . . . . 420--426
                 R. Infante and   
                   U. Montanari   Proving structured programs correct,
                                  level by level . . . . . . . . . . . . . 427--436
                     B. Randell   System structure for software fault
                                  tolerance  . . . . . . . . . . . . . . . 437--449
                  S. S. Yau and   
                   R. C. Cheung   Design of self-checking software . . . . 450--457
           Algirdas Avi\vzienis   Fault-tolerance and fault-intolerance:
                                  Complementary approaches to reliable
                                  computing  . . . . . . . . . . . . . . . 458--464
             R. M. Burstall and   
                John Darlington   Some transformations for developing
                                  recursive programs . . . . . . . . . . . 465--472
                Norihisa Suzuki   Verifying programs by algebraic and
                                  logical reduction  . . . . . . . . . . . 473--481
             Donald I. Good and   
            Ralph L. London and   
                  W. W. Bledsoe   An Interactive Program Verification
                                  System . . . . . . . . . . . . . . . . . 482--492
         John B. Goodenough and   
               Susan L. Gerhart   Toward a theory of test data selection   493--510
                 Hermann Kopetz   On the connections between range of
                                  variable and control structure testing   511--517
                J. R. Brown and   
                       M. Lipow   Testing for software reliability . . . . 518--527
                 C. A. R. Hoare   Data reliability . . . . . . . . . . . . 528--533
                Ralph L. London   A view of program verification . . . . . 534--545
             Edsger W. Dijkstra   Correctness concerns and, among other
                                  things, why they are resented  . . . . . 546--550

ACM SIG{}PLAN Notices
Volume 10, Number 7, July, 1975

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

ACM SIG{}PLAN Notices
Volume 10, Number 8, August, 1975

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

ACM SIG{}PLAN Notices
Volume 10, Number 9, September, 1975

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

ACM SIG{}PLAN Notices
Volume 10, Number 10, October, 1975

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

ACM SIG{}PLAN Notices
Volume 10, Number 11, November, 1975

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

ACM SIG{}PLAN Notices
Volume 10, Number 12, December, 1975

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


ACM SIG{}PLAN Notices
Volume 11, Number 1, January, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 2, February, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 3, March, 1976

                            ACM   Draft proposed ANS FORTRAN . . . . . . . 1--223
         ANSI Subcommittee X3J3   Draft Proposed ANS Fortran . . . . . . . various

ACM SIG{}PLAN Notices
Volume 11, Number 3S, March, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 4, April 1, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 5, May, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 6, June, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 7, July, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 8, August, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 9, September, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 10, October, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 11, November, 1976

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

ACM SIG{}PLAN Notices
Volume 11, Number 12, December, 1976

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


ACM SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN 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 SIG{}PLAN Notices
Volume 13, Number 8, August, 1978

                    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

ACM SIG{}PLAN Notices
Volume 13, Number 9, September, 1978

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

ACM SIG{}PLAN Notices
Volume 13, Number 10, October, 1978

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

ACM SIG{}PLAN Notices
Volume 13, Number 11, November, 1978

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

ACM SIG{}PLAN Notices
Volume 13, Number 12, December, 1978

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


ACM SIG{}PLAN Notices
Volume 14, Number 1, January, 1979

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

ACM SIG{}PLAN Notices
Volume 14, Number 2, February, 1979

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

ACM SIG{}PLAN Notices
Volume 14, Number 3, March, 1979

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

ACM SIG{}PLAN Notices
Volume 14, Number 4, April, 1979

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

ACM SIG{}PLAN Notices
Volume 14, Number 5, May, 1979

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

ACM SIG{}PLAN Notices
Volume 14, Number 6a, June, 1979

                Jean D. Ichbiah   Preliminary Ada Reference Manual . . . . 1--145

ACM SIG{}PLAN Notices
Volume 14, Number 6b, June, 1979

            Jean D. Ichbiah and   
      Bernd Krieg-Brueckner and   
          Brian A. Wichmann and   
          John G. P. Barnes and   
            Olivier Roubine and   
            Jean-Claude Heliard   Rationale for the design of the Ada
                                  programming language . . . . . . . . . . 1--261

ACM SIG{}PLAN Notices
Volume 14, Number 7, July, 1979

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

ACM SIG{}PLAN Notices
Volume 14, Number 8, August, 1979

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

ACM SIG{}PLAN Notices
Volume 14, Number 9, September, 1979

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

ACM SIG{}PLAN Notices
Volume 14, Number 10, October, 1979

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

ACM SIG{}PLAN Notices
Volume 14, Number 11, November, 1979

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

ACM SIG{}PLAN Notices
Volume 14, Number 12, December, 1979

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


ACM SIG{}PLAN Notices
Volume 15, Number 2, February, 1980

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