• SIGPLAN NOTICES INDEX (1/2)

    From robin.vowels@gmail.com@21:1/5 to All on Fri Jul 24 17:32:00 2020
    ACM SIGPLAN Notices
    Volume 3, Number 5, May, 1968

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


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

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

    Robert W. Floyd A machine-oriented recognition algorithm
    for context-free languages . . . . . . . 28--29
    J. Nievergelt and
    M. I. Irland Bounce-and-skip: a technique for
    directing the flow of control in
    programs . . . . . . . . . . . . . . . . 29--31
    ACM SIGPLAN Notices
    Volume 4, Number 8, August, 1969

    Alan J. Perlis Introduction to extensible languages . . 3--5
    Jan V. Garwick GPL, a general purpose language . . . . 6--8
    Barry J. Mailloux and
    John E. L. Peck Algol 68 as an extensible language . . . 9--13
    Philippe Jorrand Some aspects of Basel, the base language
    for an extensible language facility . . 14--17
    Edgar T. Irons The extension facilities of IMP . . . . 18--19
    Thomas A. Standish Some features of PPL, a polymorphic
    programming language . . . . . . . . . . 20--26
    James R. Bell Transformations: the extension facility
    of Proteus . . . . . . . . . . . . . . . 27--31
    M. Donald MacLaren Macro processing in EPS . . . . . . . . 32--36
    Christopher J. Shaw Panel of language authors . . . . . . . 37--39
    John Nicholls PL/I compile time extensibility . . . . 40--44
    Thomas E. Cheatham, Jr. Motivation for extensible languages . . 45--49
    M. D. McIlroy Alternatives to extensible languages . . 50--52
    Peter Wegner Panel on the concept of extensibility 53--54
    Thomas A. Standish Some compiler-compiler techniques for
    use in extensible languages . . . . . . 55--62
    ACM SIGPLAN Notices
    Volume 4, Number 9, September, 1969

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


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

    Claude A. R. Kagan Experimental Trac language primitive to
    allow user control of the scan algorithm 27--28
    Sak Charmonman Sixty-character representation of APL
    symbols . . . . . . . . . . . . . . . . 28--31
    ACM SIGPLAN Notices
    Volume 5, Number 3, March, 1970

    Christopher J. Shaw APL Quote-Quad . . . . . . . . . . . . . 21--21
    S. Charmonman A comparison of the structures of APL,
    FORTRAN, ALGOL and PL/I . . . . . . . . 22--24
    Alan L. Jones The generalized hypergeometric function 26--27
    John E. Lauer APL$\backslash$1130 missing primitives 28--28
    Alan R. Jones Fast Fourier Transform . . . . . . . . . 29--29
    John E. Lauer Intgrl XDX does Gaussian integration . . 30--30
    T. A. Bickart Characteristic equation of a matrix . . 31--31
    ACM SIGPLAN Notices
    Volume 5, Number 4--5, 1970

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

    Erwin Book and
    Dewey Val Shorre and
    Steven J. Sherman The CWIC/36O system, a compiler for
    writing and implementing compilers . . . 11--29
    Theodore A. Bickart Function to accelerate and/or induce
    sequence convergence . . . . . . . . . . 38--41
    ACM SIGPLAN Notices
    Volume 5, Number 7, July, 1970

    Frances E. Allen Control flow analysis . . . . . . . . . 1--19
    John Cocke Global common subexpression elimination 20--24
    D. D. Cowan and
    J. W. Graham Design characteristics of the WATFOR
    compiler . . . . . . . . . . . . . . . . 25--36
    T. E. Cheatham, Jr. and
    Thomas A. Standish Optimization aspects of
    compiler-compilers . . . . . . . . . . . 37--37
    H. R. Haynes and
    L. J. Schutte Compilation of optimized syntactic
    recognizers from Floyd-Evans productions 38--51
    John T. Bagwell, Jr. Local optimizations . . . . . . . . . . 52--66
    Dennis J. Frailey Expression optimization using unary
    complement operators . . . . . . . . . . 67--85
    Alfred V. Aho and
    Ravi Sethi and
    J. D. Ullman A formal approach to code optimization 86--100
    James A. Painter Effectiveness of an optimizing compiler
    for arithmetic expressions . . . . . . . 101--126
    Bruce J. Bolas Optimization problems in extensible
    compilers . . . . . . . . . . . . . . . 127--127
    Jacques E. LaFrance Optimization of error recovery in
    syntax-directed parsing algorithms . . . 128--128
    Robert E. Millstein Optimization for an array computer . . . 129--129
    Richard G. Zwakenberg CDC 6600/7600 optimization . . . . . . . 130--130
    ACM SIGPLAN Notices
    Volume 5, Number 9, September, 1970

    Robert E. Millstein and
    Edward P. Krugman and
    David Goldberg Optimization for an array computer . . . 8--13
    Daniel M. Berry The importance of implementation models
    in ALGOL 68: or how to discover the
    concept of necessary environment . . . . 14--24
    Karl Korn APL community meets at NASA . . . . . . 27--28
    S. Charmonman Sixty-character representation of APL
    symbols . . . . . . . . . . . . . . . . 29--34
    Alan T. McEwan and
    Don W. A. Watson APL/360 recursed! . . . . . . . . . . . 35--40
    ACM SIGPLAN Notices
    Volume 5, Number 10, October, 1970

    Thomas E. Cheatham and
    Thomas A. Standish Optimization aspects of
    compiler-compilers . . . . . . . . . . . 10--17
    Neil Lincoln Parallel programming techniques for
    compilers . . . . . . . . . . . . . . . 18--31
    Franklin L. DeRemer Optimization using LR(k) techniques . . 32--34
    ACM SIGPLAN Notices
    Volume 5, Number 11, November, 1970

    J. J. Horning and
    W. R. Lalonde Empirical comparison of LR(k) and
    precedence parsers . . . . . . . . . . . 10--24
    Lawrence M. Breed The APL PLUS file subsystem . . . . . . 29--31
    P. E. Hagerty An APL symbol set for Model 35 Teletypes 31--33
    Lawrence M. Breed and
    Roger D. Moore Errors and fixes in the APL/360 Program
    Product . . . . . . . . . . . . . . . . 33--38
    S. Charmonman A generalization of APL array-oriented
    concept . . . . . . . . . . . . . . . . 38--42
    ACM SIGPLAN Notices
    Volume 5, Number 12, December, 1970

    Jacques LaFrance Optimization of error recovery in
    syntax-directed parsing algorithms . . . 2--17
    M. Donald MacLaren PL/I language development in ANSI/X3J1
    and ECMA/TC1O . . . . . . . . . . . . . 18--29
    M. Donald MacLaren Data matching, data alignment, and
    structure mapping in PL/I . . . . . . . 30--43
    F. G. Pagan A method of linking PL/I to SNOBOL4 . . 46--49
    Robert T. Duquet Eliza in SNOBOL4 . . . . . . . . . . . . 50--60
    Paul J. Santos and
    W. Douglas Maurer Compilation of a subset of SNOBOL4 . . . 60--68


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

    Robert J. Lambird String enhancements to ANSI Standard
    Fortran (part 1) . . . . . . . . . . . . 5--12
    Tom McMurchie A limited-character APL symbolism . . . 15--16
    C. Victor Bunderson On hobbits and the growth of APL . . . . 17--17
    Mary Zosel University of Washington implementation 18--30
    ACM SIGPLAN Notices
    Volume 6, Number 2, February, 1971

    Peter Wegner Data structure models for programming
    languages . . . . . . . . . . . . . . . 1--54
    John B. Johnston The contour model of block structured
    processes . . . . . . . . . . . . . . . 55--82
    E. I. Organick and
    J. G. Cleary A data structure model of the B6700
    computer system . . . . . . . . . . . . 83--145
    Kurt Walk Modelling of storage properties of
    higher level languages . . . . . . . . . 146--170
    Daniel M. Berry Introduction to Oregano . . . . . . . . 171--190
    Clement McGowan and
    Peter Wegner The equivalence of sequential and
    associate information structure models 191--216
    W. A. Ferguson and
    G. J. Lipovski A generalized assembly language using
    regular expressions . . . . . . . . . . 217--236
    Andries van Dam Data and storage structures for
    interactive graphics . . . . . . . . . . 237--267
    Marshall D. Abrams Data structures for computer graphics 268--286
    Vincent A. Busam On the structure of dictionaries for
    compilers . . . . . . . . . . . . . . . 287--305
    David S. Wile and
    C. M. Geschke Efficient data accessing in the
    programming language Bliss . . . . . . . 306--320
    James B. Morris, Jr. and
    Mark B. Wells Generalized data structures in Madcap VI 321--336
    M. V. Wilkes Associative tabular data structures . . 337--345
    G. J. Lipovski On data structures in associative
    memories . . . . . . . . . . . . . . . . 346--365
    Harry Katzan, Jr. Representation and manipulation of data
    structures in APL . . . . . . . . . . . 366--397
    Paul E. Weston and
    Stephen M. Taylor Cylinders: a relational data structure 398--416
    ACM SIGPLAN Notices
    Volume 6, Number 4, May, 1971

    Joachim v. Peschke PL/I subsets for software writing . . . 16--22
    Philip S. Abrams Remarks about terminal I/O in APL/360 33--33
    Theodore A. Linden The Ackermann function in APL . . . . . 34--35
    ACM SIGPLAN Notices
    Volume 6, Number 5, July, 1971

    A. J. Rose More about multi-adic functions . . . . 10--11
    Larry Breed Generalizing APL scalar extension . . . 12--14
    Karl Korn and
    John Rose APL-FIOS; APL-FIDOS: multilevel total
    file access and special features . . . . 14--18
    D. A. Bonyun APL algorithms . . . . . . . . . . . . . 21--31
    ACM SIGPLAN Notices
    Volume 6, Number 6, July, 1971

    Christopher J. Shaw SNOBOL bulletin . . . . . . . . . . . . 3--5
    John R. Clark and
    Thomas R. Dickson and
    William H. Marshall and
    Angeloa Segalla A summary of the presentations at APL
    Users Conference Workshop 3 . . . . . . 3--13
    Christopher J. Shaw FORTRAN information bulletin . . . . . . 6--22
    Niels Gellert Abstract of the proceedings at the SEAS
    APL Working Committee's meeting
    Grenoble, Feb. 15th, 16th/71 . . . . . . 14--15
    Hendricks Selection of a medium for program
    exchange (appendix II to SEAS APL
    proceedings) . . . . . . . . . . . . . . 15--16
    J. F. Clementi and
    A. P. Fletcher Modifications to the APL 1130/system to
    provide more convenient operating on a
    Fortran user's machine . . . . . . . . . 16--18
    David A. Bonyun Mark sense APL . . . . . . . . . . . . . 18--19
    Lew Greenberg APL/6500 at Michigan State University 20--21
    ACM SIGPLAN Notices
    Volume 6, Number 8, September, 1971

    Bruce Silberg Detab/65 in third-generation Cobol . . . 4--8
    Thomas G. LaFleur Decision tables: a tool for documenting
    logical condition relationships . . . . 9--12
    Henry O. Arnold Utilization of a decision table
    translator for basic program creation 12--19
    J. M. Jarvis An analysis of programming via decision
    table compilers . . . . . . . . . . . . 20--32
    Robert F. Sterbenz Tabsol decision table preprocessor . . . 33--40
    Donald J. Lemoine An automatic decision-logic-table
    processor . . . . . . . . . . . . . . . 40--45
    Michael F. Weisbard Detap/55: a decision table preprocessor
    for generating single-paragraph,
    fully-nested Cobol code . . . . . . . . 45--53
    R. Scowen The use of decision tables in Babel . . 54--68
    Jonas Rabin Conversion of limited-entry decision
    tables into optimal decision trees:
    fundamental concepts . . . . . . . . . . 68--74
    C. Geoffrey Woods and
    Mary K. Hawes Optimized code generation from
    extended-entry decision tables . . . . . 74--80
    W. H. Dailey Some notes on processing limited-entry
    decision tables . . . . . . . . . . . . 81--89
    William J. Harrison Practically complete decision tables: a
    range approach . . . . . . . . . . . . . 89--93
    Bennett M. Schwartz Lisp 1.5 decision tables implemented for
    a serial computer and proposed for
    parallel computers . . . . . . . . . . . 93--103
    Toshio Yasui Some aspects of decision table
    conversion techniques . . . . . . . . . 104--111
    ACM SIGPLAN Notices
    Volume 6, Number 9, October, 1971

    Jean E. Sammet Brief survey of languages used for
    systems implementation . . . . . . . . . 1--19
    John Slimick Current systems implementation
    languages: One user's view . . . . . . . 20--28
    David J. Farber A survey of the systematic use of macros
    in systems building . . . . . . . . . . 29--36
    Gerd R. Sapper The programming language PS440 as a tool
    for implementing a time-sharing system 37--41
    W. Wulf and
    C. Geschke and
    D. Wile and
    J. Apperson Reflections on a systems programming
    language . . . . . . . . . . . . . . . . 42--49
    R. Daniel Bergeron and
    John D. Gannon and
    Andries van Dam Language for Systems Development . . . . 50--72
    Don M. Lyle A hierarchy of high order languages for
    systems programming . . . . . . . . . . 73--78
    B. L. Clark and
    J. J. Horning The System Language for Project SUE . . 79--88
    Martin Hopkins Problems of PL/I for system programming 89--91
    Pierre J. Du Bois, Jr. and
    Jeanne T. Martin The LRLTRAN language as used in the
    FROST and FLOE time-sharing operating
    systems . . . . . . . . . . . . . . . . 92--104
    P. J. Du Bois, Jr. and
    J. T. Martin The LRLTRAN language as used in the
    FROST and FLOE time-sharing operating
    systems . . . . . . . . . . . . . . . . 92--104
    Harvey W. Bingham Use of APL in microprogrammable machine
    modeling . . . . . . . . . . . . . . . . 105--109
    Gio Wiederhold and
    John Ehrman Inferred syntax and semantics of PL/S 110--121
    ACM SIGPLAN Notices
    Volume 6, Number 10, November, 1971

    Claude A. R. Kagan Floating point sub-language of a string
    language . . . . . . . . . . . . . . . . 20--22
    Robert J. Korsan A proposed APL extension . . . . . . . . 21--23
    Norman Glick and
    Richard Schrader APL on the Honeywell 635 . . . . . . . . 23--30
    P. D. Page An old-line proof checker operating
    under APL/360, with educational
    applications in logic, mathematics, and
    computer science . . . . . . . . . . . . 30--34
    Rodnay Zaks A language machine . . . . . . . . . . . 34--39
    J. F. Clementi and
    B. G. James and
    R. P. Fletcher Modifications to the APL/1130 system
    part 2 . . . . . . . . . . . . . . . . . 40--46
    Kenneth Ahl and
    John Barrington and
    John Hillier and
    Evelyn Mack and
    Walter Whipple Character and BIT data types for
    FORTRAN: a proposal to ANSI subcommittee
    X3J3 . . . . . . . . . . . . . . . . . . 22--40
    Millard H. Perstein Report to SPARC (the Standards Planning
    and Requirements Committee of ANSI) from
    the ad hoc committee on operating system
    control languages . . . . . . . . . . . 41--49
    Christopher J. Shaw FORTRAN information bulletin . . . . . . 50--65
    ACM SIGPLAN Notices
    Volume 6, Number 11, November, 1971

    Hermann Kopetz On the implementation of an interactive
    system on a small computer . . . . . . . 2--4
    Gerhard Kratky The definition of AMTRAN . . . . . . . . 5--31
    Juris Reinfelds A concept by concept description of the
    AMTRAN language . . . . . . . . . . . . 32--59
    Juris Reinfelds Some applications of AMTRAN . . . . . . 60--90
    Anonymous Special issue on AMTRAN (Automatic
    Mathematical TRANslation) . . . . . . . ?? ACM SIGPLAN Notices
    Volume 6, Number 12, December, 1971

    R. S. Scowen Babel, an application of extensible
    compilers . . . . . . . . . . . . . . . 1--7
    Gerald D. Chandler METAPI: a language for extensions . . . 8--9
    N. Yoneda The description and the structure of
    ALGOL N . . . . . . . . . . . . . . . . 10--14
    N. Suzuki and
    T. Fujisaki and
    K. Kakehi and
    E. Wada and
    T. Simauti The implementation of ALGOL N . . . . . 15--22
    J. Katzenelson and
    E. Milgrom A short presentation of the main
    features of AEPL --- an extensible
    programming language . . . . . . . . . . 23--25
    Ben Wegbreit An overview of the ECL programming
    system . . . . . . . . . . . . . . . . . 26--28
    M. G. Notley A model of extensible language systems 29--38
    Henry J. Bowlden Macros in higher-level languages . . . . 39--44
    Charles A. Grant Syntax translation with context macros
    or macros without arguments . . . . . . 45--47
    P. L. Wodon A syntax macro processor . . . . . . . . 48--50
    A. Fernandez and
    J. C. Heliard and
    J. D. Ichbiah Overview of the syntax processor
    generator SYNPROC . . . . . . . . . . . 51--55
    Bernard Lang Parallel non-deterministic bottom-up
    parsing . . . . . . . . . . . . . . . . 56--57
    Michael Hammer An alternative approach to macro
    processing . . . . . . . . . . . . . . . 58--64
    S. Crespi Reghizzi Grammatical inference for defining
    extensions . . . . . . . . . . . . . . . 65--66
    Teun van Gils Syntactic definition mechanisms . . . . 67--74
    Philippe Jorrand Data types and extensible languages . . 75--83
    Jean D. Ichbiah Extensibility in Simula 67 . . . . . . . 84--86
    Benjamin M. Brosgol An implementation of ECL data types . . 87--95
    B. M. Leavenworth Transition functions: A method for
    semantic extensions . . . . . . . . . . 96--103
    Charles J. Prenner The control structure facilities of ECL 104--112
    Rudolph A. Krutar Conversational systems programming by
    incremental extension of system
    configuration . . . . . . . . . . . . . 113--116
    B. N. Dickman Subroutine interface primitives for ETC 117--119
    Stephen A. Schuman An extensible interpreter . . . . . . . 120--128
    Glenn H. Holloway Interpreter/compiler integration in ECL 129--134
    John D. Woolley MENELAUS: A system for measurement of
    the extensible language Proteus . . . . 135--136
    J. J. Duby Extensible languages: A potential user's
    point of view . . . . . . . . . . . . . 137--140
    Jean E. Sammet Application of extensible languages to
    specialized application languages . . . 141--143
    Thomas A. Standish PPL: an extensible language that failed 144--145
    T. E. Cheatham, Jr. Extensible language --- where are we
    going . . . . . . . . . . . . . . . . . 146--147


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

    Robin Milner Implementation and applications of
    Scott's logic for computable functions 1--6
    Rod M. Burstall An algebraic description of programs
    with assertions, verification and
    simulation . . . . . . . . . . . . . . . 7--14
    C. David Allen Derivation of axiomatic definitions of
    programming languages from algorithmic
    definitions . . . . . . . . . . . . . . 15--26
    Zohar Manna and
    Stephen Ness and
    Jean Vuillemin Inductive methods for proving properties
    of programs . . . . . . . . . . . . . . 27--50
    E. A. Ashcroft Program correctness methods and language
    definition . . . . . . . . . . . . . . . 51--57
    J. M. Cadiou and
    Zohar Manna Recursive definitions of partial
    functions and their computations . . . . 58--65
    T. E. Hull and
    W. H. Enright and
    A. E. Sedgwick The correctness of numerical algorithms 66--73
    Michael S. Paterson Decision problems in computational
    models . . . . . . . . . . . . . . . . . 74--82
    Stephen J. Garland and
    David C. Luckham Translating recursion schemes into
    program schemes . . . . . . . . . . . . 83--96
    H. R. Strong and
    S. A. Walker Properties preserved under recursion
    removal . . . . . . . . . . . . . . . . 97--103
    Michael J. Fischer Lambda calculus schemata . . . . . . . . 104--109
    Clement McGowan The Contour Model Lambda Calculus
    Machine . . . . . . . . . . . . . . . . 110--115
    Raymond E. Miller A boundary between decidability and
    undecidability for parallel program
    schemata (Extended Abstract) . . . . . . 116--120
    Ralph L. London Correctness of a compiler for a Lisp
    subset . . . . . . . . . . . . . . . . . 121--127
    Peter Wegner Operational semantics of programming
    languages . . . . . . . . . . . . . . . 128--141
    John A. N. Lee The definition and validation of the
    radix sorting technique . . . . . . . . 142--149
    C. B. Jones Formal development of correct
    algorithms: An example based on Earley's
    recogniser . . . . . . . . . . . . . . . 150--169
    Daniel M. Berry The equivalence of models of tasking . . 170--190
    Clement L. McGowan The ``most recent'' error: Its causes
    and correction . . . . . . . . . . . . . 191--202
    Michel Sintzoff Calculating properties of programs by
    valuations on specific models . . . . . 203--207
    T. E. Cheatham, Jr. and
    Ben Wegbreit On a laboratory for the study of
    automating programming . . . . . . . . . 208--211
    ACM SIGPLAN Notices
    Volume 7, Number 2, February, 1972

    Christopher J. Shaw Errata to 1971 November 10 issue . . . . 18--18
    Christopher J. Shaw Errata to 1971 September issue . . . . . 18--18
    M. H. Halstead Natural laws controlling algorithm
    structure? . . . . . . . . . . . . . . . 19--26
    ACM SIGPLAN Notices
    Volume 7, Number 3, March, 1972

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

    M. A. Jenkins DOMINO: an APL primitive function for
    matrix inversion --- its implementation
    and applications . . . . . . . . . . . . 29--40
    C. Pettus Indeterminate $0 \div 0$ check in APL 40--41
    K. W. Smillie APLISP: a simple list processor in APL 41--45
    Phillip S. Abrams and
    Lawrence M. Breed COLLOQUE APL: Paris, September 1971 . . 45--47
    J. F. Clementi and
    R. P. Fletcher and
    B. G. James Modification to the APL/1130 system:
    part 3 . . . . . . . . . . . . . . . . . 47--49
    Robert P. Fletcher Algorithms: number 77 multiple
    integration . . . . . . . . . . . . . . 55--64
    ACM SIGPLAN Notices
    Volume 7, Number 5, May, 1972

    B. N. Dickman Review of ``Symposium on some directions
    in high-level languages'' . . . . . . . 4--8
    J. David McGonagle Notes on the computer program test
    methods symposium . . . . . . . . . . . 8--12
    W. A. Wulf Project Rosetta Stone: an exhibition of
    languages for system implementation . . 13--13
    ACM SIGPLAN Notices
    Volume 7, Number 6, June, 1972

    Leonard Mor and
    Joseph H. Yott and
    Hans Zima Progress: a programming language for
    real-time systems . . . . . . . . . . . 4--24
    Bernard Lang A new technique for data monitoring . . 41--42
    ACM SIGPLAN Notices
    Volume 7, Number 7, July, 1972

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

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

    Edward J. Krall An implementation of on-conditions in
    LISP . . . . . . . . . . . . . . . . . . 13--20
    B. M. Schwartz Design and implementation of PL/I
    preprocessor-based systems . . . . . . . 21--36
    ACM SIGPLAN Notices
    Volume 7, Number 10, October, 1972

    Mark B. Wells A review of two-dimensional programming
    languages . . . . . . . . . . . . . . . 1--10
    Melvin Klerer The economics, politics, and sociology
    of two-dimensional systems . . . . . . . 11--22
    H. J. Gawlik Progress in MIRFAC . . . . . . . . . . . 23--29

    [continued in next message]

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From robin.vowels@gmail.com@21:1/5 to All on Fri Jul 24 17:36:24 2020
    ACM SIGPLAN Notices
    Volume 12, Number 1, January, 1977

    R. J. Chevance Design of high level language oriented
    processors . . . . . . . . . . . . . . . 40--51
    R. M. De Morgan and
    I. D. Hill and
    B. A. Wichmann A supplement to the ALGOL 60 revised
    report . . . . . . . . . . . . . . . . . 52--66
    Michael B. Feldman Embedding extended arithmetic in SNOBOL4 67--72
    Edward N. Kittlitz Another proposal for variable size
    arrays in PASCAL . . . . . . . . . . . . 82--86
    Peter Ludemann A language design for program structure 87--92
    L. P. Meissner FORTRAN 77 . . . . . . . . . . . . . . . 93--94
    David Salomon A design for Fortran to facilitate
    structured programming . . . . . . . . . 95--100
    ACM SIGPLAN Notices
    Volume 12, Number 2, February, 1977

    B. W. Lampson and
    J. J. Horning and
    R. L. London and
    J. G. Mitchell and
    G. J. Popek Report on the programming language
    Euclid . . . . . . . . . . . . . . . . . 1--77
    ACM SIGPLAN Notices
    Volume 12, Number 3, March, 1977

    Allen L. Ambler and
    Donald I. Good and
    James C. Browne and
    Wilhelm F. Burger and
    Richard M. Cohen and
    Charles G. Hoch and
    Robert E. Wells Gypsy: A language for specification and
    implementation of verifiable programs 1--10
    G. J. Popek and
    J. J. Horning and
    B. W. Lampson and
    J. G. Mitchell and
    R. L. London Notes on the design of Euclid . . . . . 11--18
    Charles N. Fischer and
    Richard J. LeBlanc Efficient implementation and
    optimization of run-time checking in
    PASCAL . . . . . . . . . . . . . . . . . 19--24
    Allen L. Ambler and
    Charles G. Hoch A study of protection in programming
    languages . . . . . . . . . . . . . . . 25--40
    Daniel P. Friedman and
    David S. Wise Aspects of applicative programming for
    file systems (Preliminary Version) . . . 41--55
    Robert G. Herriot Towards the ideal programming language 56--62
    Jhon V. Guttag and
    Ellis Horowitz and
    David R. Musser Some extensions to algebraic
    specifications . . . . . . . . . . . . . 63--67
    Normand Buckle Restricted data types, specification and
    enforcement of invariant properties of
    variables . . . . . . . . . . . . . . . 68--76
    Patrick Causot and
    Radhia Cousot Static determination of dynamic
    properties of generalized type unions 77--94
    P. Cousot and
    R. Cousot Static determination of dynamic
    properties of generalized type unions 77--94
    P. M. Melliar-Smith and
    B. Randell Software reliability: The role of
    programmed exception handling . . . . . 95--100
    M. Donald MacLaren Exception handling in PL/I . . . . . . . 101--104
    Tom Love An experimental investigation of the
    effect of program structure on program
    understanding . . . . . . . . . . . . . 105--113
    Gregory R. Andrews and
    James R. McGraw Language features for process
    interaction . . . . . . . . . . . . . . 114--127
    D. B. Lomet Process structuring, synchronization,
    and recovery using atomic actions . . . 128--137
    Charles M. Geschke and
    James H. Morris, Jr. and
    Edwin H. Satterthwaite Early experience with Mesa . . . . . . . 138--138
    Mary Shaw and
    Wm A. Wulf and
    Ralph L. London Abstraction and verification in Alphard:
    Defining and specifying iteration and
    generators . . . . . . . . . . . . . . . 139--139
    Barbara Liskov and
    Alan Snyder and
    Russell Atkinson and
    Craig Schaffert Abstraction mechanisms in CLU . . . . . 140--140
    J. D. Gannon An experimental evaluation of data types
    on programming reliability . . . . . . . 141--141
    N. Wirth Towards a discipline of real-time
    programming . . . . . . . . . . . . . . 142--142
    ACM SIGPLAN Notices
    Volume 12, Number 4, April, 1977

    Anonymous Fortran Development Newsletter: Volume
    3, Number 1, January 1977, pp. 1--10:
    X3J3 Expects to Complete Fortran 77
    Revised at March Meeting . . . . . . . . 21--30
    Albrecht Biedl An extension of programming languages
    for clerical computation in science and
    engineering with special reference to
    PASCAL . . . . . . . . . . . . . . . . . 31--33
    David E. Boddy Structured Fortran: with or without a
    preprocessor . . . . . . . . . . . . . . 34--39
    Ralph E. Griswold and
    David R. Hanson An overview of SL5 . . . . . . . . . . . 40--50
    Richard Hamlet Ignorance of ALGOL 68 considered harmful 51--56
    Edward T. Hartnett Star Fortran: an overview of essential
    characteristics . . . . . . . . . . . . 57--66
    M. Huybrechts DYNOSOR: a set of subroutines for
    dynamic memory organization in Fortran
    programs . . . . . . . . . . . . . . . . 67--74
    Tony Middleton A macro approach to abstractions of data
    structures . . . . . . . . . . . . . . . 75--79
    S. K. Robinson and
    I. S. Torsun The automatic measurement of the
    relative merits of student programs . . 80--93
    Anders Beckman Comments considered harmful . . . . . . 94--96
    ACM SIGPLAN Notices
    Volume 12, Number 5, May, 1977

    A. van Wijngaarden and
    B. J. Mailloux and
    J. E. L. Peck and
    Koster and
    C. H. A. and
    M. Sintzoff and
    C. H. Lindsey and
    L. G. L. T. Meertens and
    R. G. Fisker Revised report on the algorithmic
    language ALGOL 68 . . . . . . . . . . . 1--70
    P. G. Hibbard A sublanguage of ALGOL 68 . . . . . . . 71--79
    W. J. Hansen and
    H. Boom The report on the standard hardware
    representation for ALGOL 68 . . . . . . 80--87
    ACM SIGPLAN Notices
    Volume 12, Number 6, June, 1977

    S. G. van der Meulen ALGOL 68 might-have-beens . . . . . . . 1--18
    P. G. Craven Derivatives without tears in Algol 68 19--26
    D. F. Brailsford and
    E. Foxley and
    K. C. Mander and
    D. J. Morgan Run-time profiling of Algol 68-R
    programs using DIDYMUS and SCAMP . . . . 27--35
    M. A. Hennell and
    D. Hedley and
    M. R. Woodward Quantifying the test effectiveness of
    Algol 68 programs . . . . . . . . . . . 36--41
    Péter Szöke Some remarks on new instances and
    garbage collection . . . . . . . . . . . 42--48
    R. B. Hunter and
    A. D. McGettrick and
    R. Patel LL versus LR parsing with illustrations
    from ALGOL 68 . . . . . . . . . . . . . 49--53
    Frank G. Pagan ALGOL 68 as an implementation language
    for portable interpreters . . . . . . . 54--62
    C. F. Vansina Description of dynamic manipulation of
    ALGOL 68 values using a generative
    grammar . . . . . . . . . . . . . . . . 63--70
    J. C. van Vliet Towards a machine-independent transput
    section . . . . . . . . . . . . . . . . 71--77
    Dick Grune Towards the design of a super-language
    of ALGOL 68 for the Standard Prelude
    (Excerpt) . . . . . . . . . . . . . . . 78--81
    Andrew D. Birrell Storage management for ALGOL 68 . . . . 82--94
    P. J. Gardner A transportation of ALGOL 68C . . . . . 95--101
    Wilfried Koch and
    Christoph Oeters The Berlin ALGOL 68 implementation . . . 102--108
    Daniel Taupin The ALGOL 68 compiler of Paris-XI
    University (Orsay) . . . . . . . . . . . 109--116
    Bernard Houssais Verification of an Algol 68
    implementation . . . . . . . . . . . . . 117--128
    M. Simonet An attribute description of a subset of
    Algol 68 . . . . . . . . . . . . . . . . 129--137
    A. Prudom and
    M. A. Hennell Some problems concerning the automatic
    translation of Fortran to Algol 68 . . . 138--143
    R. J. W. Housden and
    N. Kotarski Character string pattern matching in
    Algol 68 . . . . . . . . . . . . . . . . 144--152
    M. W. Bennett Implementation of a PDP11/ICL1900 cross
    assembler in Algol 68R . . . . . . . . . 153--156
    Bryan Ratcliff ALGOL 68 and structured programming for
    learner-programmers . . . . . . . . . . 157--160
    J. M. Foster and
    P. D. Foster Abstract data and functors . . . . . . . 161--167
    I. C. Braid and
    R. C. Hillyard Geometric modelling in ALGOL 68 . . . . 168--174
    P. R. West A Multi Radar Tracking simulation using
    ALGOL 68'R . . . . . . . . . . . . . . . 175--178
    V. J. Rayward-Smith Using procedures in list processing . . 179--183
    Roy Edwards Is Pascal a logical subset of Algol 68
    or not? Part One . . . . . . . . . . . . 184--191
    ACM SIGPLAN Notices
    Volume 12, Number 7, July, 1977

    R. A. Freiburghouse Proposed extensions to PL/I for
    real-time applications . . . . . . . . . 26--42
    George Atkinson The non-desirability of structured
    programming in user languages . . . . . 43--50
    Richard J. Cichelli and
    Martha J. Cichelli Goal directed programming . . . . . . . 51--59
    Piotr Dembinski and
    Richard Schwartz The taming of the pointer . . . . . . . 60--74
    Dick Grune A view of coroutines . . . . . . . . . . 75--81
    Jon Hueras and
    Henry Ledgard An automatic formatting program for
    PASCAL . . . . . . . . . . . . . . . . . 82--84
    Peter Karasz An intermediate systems language for the
    PDP-11 . . . . . . . . . . . . . . . . . 85--100
    Henry Ledgard and
    Andrew Singer and
    Jon Hueras A basis for executing PASCAL programmers 101--105
    C. M. Thomson Error checking, tracing, and dumping in
    an ALGOL 68 checkout compiler . . . . . 106--111
    John D. Woolley FORTRAN: A Comparison of the New
    Proposed Language (1976) to the Old
    Standard (1966) . . . . . . . . . . . . 112--125
    Michael R. Levy Some remarks on abstract data types . . 126--128
    ACM SIGPLAN Notices
    Volume 12, Number 8, August, 1977

    Patrick Cousot and
    Radhia Cousot Automatic synthesis of optimal invariant
    assertions: Mathematical foundations . . 1--12
    Lawrence Yelowitz and
    Arthur G. Duncan Abstractions, instantiations, and proofs
    of marking algorithms . . . . . . . . . 13--21
    John Wade Ulrich and
    Robert Moll Program synthesis by analogy . . . . . . 22--28
    Zohar Manna and
    Richard Waldinger The automatic synthesis of recursive
    programs . . . . . . . . . . . . . . . . 29--36
    Michael D. Rychener Control requirements for the design of
    production system architectures . . . . 37--44
    Randall Davis Generalized procedure calling and
    content-directed invocation . . . . . . 45--54
    Henry C. Baker, Jr. and
    Carl Hewitt The incremental garbage collection of
    processes . . . . . . . . . . . . . . . 55--59
    Guy Lewis Steele, Jr. Macaroni is better than spaghetti (stack
    implementation) . . . . . . . . . . . . 60--66
    Larry Travis and
    Masahiro Honda and
    Richard LeBlanc and
    Stephen Zeigler Design rationale for TELOS, a
    PASCAL-based AI language . . . . . . . . 67--76
    David Wile and
    Robert Balzer and
    Neil Goldman Automated derivation of program control
    structure from natural language program
    descriptions . . . . . . . . . . . . . . 77--84
    Jerry R. Hobbs What the nature of natural language
    tells us about how to make
    natural-language-like programming
    languages more natural . . . . . . . . . 85--93
    Ralph E. Griswold and
    David R. Hanson Language facilities for programmable
    backtracking . . . . . . . . . . . . . . 94--99
    H. P. Böhm and
    H. L. Fischer and
    P. Raulefs CSSA: Language concepts and programming
    methodology . . . . . . . . . . . . . . 100--108
    David H. D. Warren and
    Luis M. Pereira and
    Fernando C. N. Pereira Prolog: The Language and Its
    Implementation Compared with Lisp . . . 109--115
    Johan de Kleer and
    Jon Doyle and
    Guy L. Steele, Jr. and
    Gerald Jay Sussman AMORD explicit control of reasoning . . 116--125
    Christopher W. Fraser A knowledge-based code generator
    generator . . . . . . . . . . . . . . . 126--129
    Brian P. McCune The PSI Program Model Builder ---
    synthesis of very high-level programs 130--139
    Elaine Kant The selection of efficient
    implementations for a high-level
    language . . . . . . . . . . . . . . . . 140--146
    Stanley J. Rosenschein and
    Shmuel M. Katz Selection of representations for data
    structures . . . . . . . . . . . . . . . 147--154
    Hanan Samet A normal form for compiler testing . . . 155--162
    D. F. Kibler and
    J. M. Neighbors and
    T. A. Standish Program manipulation via an efficient
    production system . . . . . . . . . . . 163--173
    Philippe Chatelin Self-redefinition as a program
    manipulation strategy . . . . . . . . . 174--179
    ACM SIGPLAN Notices
    Volume 12, Number 9, September, 1977

    R. D. Dowsing Structured programming constructs for
    concurrency in program optimisation . . 31--35
    Roy F. Keller On control constructs for constructing
    programs . . . . . . . . . . . . . . . . 36--44
    Menachem Malkosh Internal procedure parameters in
    structured FORTRAN precompilers . . . . 45--51
    Peter Rechenberg MUMS: a machine independent programming
    language consisting of 360 assembler
    macro calls . . . . . . . . . . . . . . 52--59
    Frederic N. Ris A unified decimal floating-point
    architecture for the support of
    high-level languages . . . . . . . . . . 60--70
    Paul Rutter Uniform handling of exceptions in a
    stack based language . . . . . . . . . . 71--76
    Stefan M. Silverston Extensions to SNOBOL4 in the SNOBAT
    implementation . . . . . . . . . . . . . 77--84
    David N. Smith Proposals for Fortran data structures 85--102
    Nobuyoshi Terashima The hierarchical language system . . . . 103--113
    Robert W. Witty The switching reverse Polish algorithm 114--123
    Michiaki Yasumura Evolution of loop statements . . . . . . 124--129
    R. A. Fraley On replacing Fortran . . . . . . . . . . 130--132
    ACM SIGPLAN Notices
    Volume 12, Number 10, October, 1977

    R. J. Chevance Design of high level language oriented
    processors . . . . . . . . . . . . . . . 10--32
    Stephen Leibowitz Interactive computing . . . . . . . . . 33--36
    Mila E. . Majster Limits of the ``algebraic''
    specification of abstract data types . . 37--42
    Tony Middleton Specifying program structure through
    sequence relationships . . . . . . . . . 43--47
    Jean E. Musinski Lookahead recall error recovery for LALR
    parsers . . . . . . . . . . . . . . . . 48--60
    Glenford J. Myers An extension to the cyclomatic measure
    of program complexity . . . . . . . . . 61--64
    Michael D. Shapiro Fortran 77 input-output seems out of
    touch . . . . . . . . . . . . . . . . . 65--69
    Stefan M. Silverston A note on pattern matching under
    Quickscan in SNOBOL4 . . . . . . . . . . 70--74
    Alan Filipski Call by restricted memory reference . . 75--77
    George E. Lindamood What's in a name? . . . . . . . . . . . 78--80
    ACM SIGPLAN Notices
    Volume 12, Number 11, November, 1977

    D. Bates and
    R. Cailliau Experience with Pascal compilers on
    mini-computers . . . . . . . . . . . . . 10--22
    Michael N. Condict The Pascal dynamic array controversy and
    a method for enforcing global assertions 23--27
    D. R. Ditzel and
    P. C. Hutchison MASK and FORMAT: operators for editing
    and formatting . . . . . . . . . . . . . 28--35
    C. H. Lindsey Structure charts --- a structured
    alternative to flowcharts . . . . . . . 36--49
    T. Radhakrishnan and
    I. A. Syed Towards a programming language for the
    implementation of information storage
    and retrieval systems . . . . . . . . . 50--54
    Arthur Sedgwick Structuring control in Fortran . . . . . 55--60
    Guy L. Steele, Jr. Arithmetic shifting considered harmful 61--69
    Thomas R. Wilcox Aspen language specifications . . . . . 70--87
    ACM SIGPLAN Notices
    Volume 12, Number 12, December, 1977

    Makoto Arisawa Programming languages with hierarchical
    structure . . . . . . . . . . . . . . . 36--38
    Anonymous Department of Defense requirements for
    high order computer programming
    languages. Revised `IRONMAN' July, 1977.
    The technical requirements . . . . . . . 39--54
    Harvey Abramson Ordered types and a generalized
    \underlinefor statement . . . . . . . . 55--59
    Walt Brainerd A proposal for a Fortran loop construct 60--67
    G. Chroust Scope conserving expression evaluation:
    a class of storage optimal evaluation
    strategies for arithmetic expressions 68--72
    Frederic Richard and
    Henry F. Ledgard A reminder for language designers . . . 73--82
    James L. Peterson On the formatting of Pascal programs . . 83--86
    M. G. Richardson The use of names to indicate the scope
    of structured language constructs . . . 87--87


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

    Oddur Benediktsson Notes on argument-parameter association
    in Fortran . . . . . . . . . . . . . . . 16--20
    D. Brand A note on data abstractions . . . . . . 21--24
    Anonymous Parallelism, control and synchronization
    expression in a single assignment
    language . . . . . . . . . . . . . . . . 25--33
    D. Comte and
    G. Durrieu and
    O. Gelly and
    A. Plas and
    J. C. Syre Parallelism, control and synchronization
    expression in a single assignment
    language . . . . . . . . . . . . . . . . 25--33
    O. Ferstl Flowcharting by stepwise refinement . . 34--42
    J. Ceorges and
    F. Heymans On parametric array expressions . . . . 43--47
    J. Georges and
    F. Heymans On parametric array expressions . . . . 43--47
    M. Iglewski and
    J. Madey and
    S. Matwin A contribution to an improvement of
    Pascal . . . . . . . . . . . . . . . . . 48--58
    A. J. Payne A formalised technique for expressing
    compiler exercisers . . . . . . . . . . 59--69
    David B. Wortman A rooster of XPL implementations . . . . 70--74
    ACM SIGPLAN Notices
    Volume 13, Number 2, February, 1978

    W. A. Whitaker The US Department of Defense common
    higher order language effort . . . . . . 19--29
    James L. Elshoff An investigation into the effects of the
    counting method used on software science
    measurements . . . . . . . . . . . . . . 30--45
    Phil Grouse ``Flowblocks'' --- a technique for
    structured programming . . . . . . . . . 46--56
    Gary J. Nutt A comparison of PASCAL and FORTRAN as
    introductory programming languages . . . 57--62
    David C. Pflasterer An approach to efficient, fault tolerant
    programming . . . . . . . . . . . . . . 63--70
    D. Wood A bibliography of top-down deterministic
    parsing . . . . . . . . . . . . . . . . 71--76
    ACM SIGPLAN Notices
    Volume 13, Number 3, March, 1978

    Anonymous News of past events . . . . . . . . . . 9--10
    Robert L. Glass Patching is alive and, lamentably,
    thriving in the real-time world . . . . 25--28
    Wilfred J. Hansen Measurement of program complexity by the
    pair: (Cyclomatic Number, Operator
    Count) . . . . . . . . . . . . . . . . . 29--33
    Ernest Chang and
    Neil E. Kaden and
    W. David Elliott Abstract data types in Euclid . . . . . 34--42
    Edward G. Aseltine and
    Henry Spencer Isolation of machine dependencies in
    Euclid . . . . . . . . . . . . . . . . . 43--48
    Jim des Rivieres and
    Henry Spencer Readability and writability in Euclid 49--56
    Ted Venema and
    Jim des Rivieres Euclid and Pascal . . . . . . . . . . . 57--69
    David T. Barnard and
    W. David Elliott and
    David H. Thompson Euclid and Modula . . . . . . . . . . . 70--84
    W. David Elliott Index to the Euclid report . . . . . . . 85--89
    Robert G. Estell A chapter in the history of DOD-1 . . . 90--92
    ACM SIGPLAN Notices
    Volume 13, Number 4, April, 1978

    Forest Baskett The best simple code generation
    technique for \tt WHILE, \tt FOR, and
    \tt DO loops . . . . . . . . . . . . . . 31--32
    John C. Burda The translation of Boolean: expressions
    into optimal transfer logic code for the
    OLIVER data base management system
    compiler . . . . . . . . . . . . . . . . 33--43
    R. J. Chevance and
    T. Heidet Static profile and dynamic behavior of
    COBOL programs . . . . . . . . . . . . . 44--57
    Mitchell H. Clifton A technique for making structured
    programs more readable . . . . . . . . . 58--63
    Douglas W. Jones A note on some limits of the algebraic
    specification method . . . . . . . . . . 64--67
    Tom Jacobsen Another view of coroutines . . . . . . . 68--75
    William Slater and
    Howard Modell Structured programming considered
    harmful . . . . . . . . . . . . . . . . 76--79
    P. A. Subrahmanyam On a finite axiomatization of the data
    type L . . . . . . . . . . . . . . . . . 80--84
    J. V. Peschke Comment on a paper of R. A.
    Freiburghouse . . . . . . . . . . . . . 85--88
    ACM SIGPLAN Notices
    Volume 13, Number 5, May, 1978

    Richard L. Wexelblat and
    Debra D. Child New books . . . . . . . . . . . . . . . 7--8
    G. J. Battarel and
    R. J. Chevance Requirements for a safe PL/1
    implementation . . . . . . . . . . . . . 12--22
    Jean Bezivin and
    Jean-Louis Nebut and
    Robert Rannou Another view of coroutines . . . . . . . 23--35
    Ned Chapin and
    Susan P. Denniston Characteristics of a structured program 36--45
    D. R. Ditzel Pattern matching for high level
    languages . . . . . . . . . . . . . . . 46--55
    Michael B. Feldman Embedding sparse matrix operations in
    SNOBOL4 . . . . . . . . . . . . . . . . 56--64
    R. C. Holt and
    G. S. Graham and
    E. D. Lazowska and
    M. A. Scott Announcing CONCURRENT SP/k . . . . . . . 65--68
    ACM SIGPLAN Notices
    Volume 13, Number 6, June, 1978

    Glen B. Alleman Parameter validation for software
    reliability . . . . . . . . . . . . . . 18--28
    James L. Elshoff A study of the structural composition of
    PL/I programs . . . . . . . . . . . . . 29--37
    Janusz Górski Sticky variables and memory optimization 38--48
    Victor Schneider Prediction of software effort and
    project duration: four new formulas . . 49--59
    ACM SIGPLAN Notices
    Volume 13, Number 7, July, 1978

    R. L. Wexelblat and
    Debbie Child New books . . . . . . . . . . . . . . . 14--17
    Lloyd Allison On nondeterministic control structures 18--20
    Edsger W. Dijkstra DoD-I: the summing up . . . . . . . . . 21--26
    B. Ford Parameterisation of the environment for
    transportable numerical software . . . . 27--30
    Brian Lewis Further comments on ``A view of
    coroutines'' . . . . . . . . . . . . . . 31--33
    Patricia R. Mohilner Prettyprinting PASCAL programs . . . . . 34--40
    Rodney Parkin On the use of keywords for passing
    procedure parameters . . . . . . . . . . 41--42
    Stef. W. Postma FEA: a formal English subset for
    Algebra/Assertions . . . . . . . . . . . 43--59
    ACM SIGPLAN Notices
    Volume 13, Number 8, August, 1978

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

    [continued in next message]

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