Last update: Sat Jan 13 11:55:59 MST 2024
Volume 3, Number 5, May, 1968Anonymous Toward a semiotic theory of programming languages . . . . . . . . . . . . . . . 24--27
C. J. Shaw Review of UCC seminar on ``Programming Languages Today'' . . . . . . . . . . . 24--25
Robert W. Floyd A machine-oriented recognition algorithm for context-free languages . . . . . . . 28--29 J. Nievergelt and M. I. Irland Bounce-and-skip: a technique for directing the flow of control in programs . . . . . . . . . . . . . . . . 29--31
Alan J. Perlis Introduction to extensible languages . . 3--5 Jan V. Garwick GPL, a general purpose language . . . . 6--8 Barry J. Mailloux and John E. L. Peck Algol 68 as an extensible language . . . 9--13 Philippe Jorrand Some aspects of Basel, the base language for an extensible language facility . . 14--17 Edgar T. Irons The extension facilities of IMP . . . . 18--19 Thomas A. Standish Some features of PPL, a polymorphic programming language . . . . . . . . . . 20--26 James R. Bell Transformations: the extension facility of Proteus . . . . . . . . . . . . . . . 27--31 M. Donald MacLaren Macro processing in EPS . . . . . . . . 32--36 Christopher J. Shaw Panel of language authors . . . . . . . 37--39 John Nicholls PL/I compile time extensibility . . . . 40--44 Thomas E. Cheatham, Jr. Motivation for extensible languages . . 45--49 M. D. McIlroy Alternatives to extensible languages . . 50--52 Peter Wegner Panel on the concept of extensibility 53--54 Thomas A. Standish Some compiler-compiler techniques for use in extensible languages . . . . . . 55--62
D. G. Bobrow LISP bulletin . . . . . . . . . . . . . 17--57
Claude A. R. Kagan Experimental Trac language primitive to allow user control of the scan algorithm 27--28 Sak Charmonman Sixty-character representation of APL symbols . . . . . . . . . . . . . . . . 28--31
Christopher J. Shaw APL Quote-Quad . . . . . . . . . . . . . 21--21 S. Charmonman A comparison of the structures of APL, FORTRAN, ALGOL and PL/I . . . . . . . . 22--24 Alan L. Jones The generalized hypergeometric function 26--27 John E. Lauer APL$\backslash$1130 missing primitives 28--28 Alan R. Jones Fast Fourier Transform . . . . . . . . . 29--29 John E. Lauer Intgrl XDX does Gaussian integration . . 30--30 T. A. Bickart Characteristic equation of a matrix . . 31--31
Henry F. Ledgard Ten mini-languages in need of formal definition . . . . . . . . . . . . . . . 14--37
Erwin Book and Dewey Val Shorre and Steven J. Sherman The CWIC/36O system, a compiler for writing and implementing compilers . . . 11--29 Theodore A. Bickart Function to accelerate and/or induce sequence convergence . . . . . . . . . . 38--41
Frances E. Allen Control flow analysis . . . . . . . . . 1--19 John Cocke Global common subexpression elimination 20--24 D. D. Cowan and J. W. Graham Design characteristics of the WATFOR compiler . . . . . . . . . . . . . . . . 25--36 T. E. Cheatham, Jr. and Thomas A. Standish Optimization aspects of compiler-compilers . . . . . . . . . . . 37--37 H. R. Haynes and L. J. Schutte Compilation of optimized syntactic recognizers from Floyd-Evans productions 38--51 John T. Bagwell, Jr. Local optimizations . . . . . . . . . . 52--66 Dennis J. Frailey Expression optimization using unary complement operators . . . . . . . . . . 67--85 Alfred V. Aho and Ravi Sethi and J. D. Ullman A formal approach to code optimization 86--100 James A. Painter Effectiveness of an optimizing compiler for arithmetic expressions . . . . . . . 101--126 Bruce J. Bolas Optimization problems in extensible compilers . . . . . . . . . . . . . . . 127--127 Jacques E. LaFrance Optimization of error recovery in syntax-directed parsing algorithms . . . 128--128 Robert E. Millstein Optimization for an array computer . . . 129--129 Richard G. Zwakenberg CDC 6600/7600 optimization . . . . . . . 130--130
Robert E. Millstein and Edward P. Krugman and David Goldberg Optimization for an array computer . . . 8--13 Daniel M. Berry The importance of implementation models in ALGOL 68: or how to discover the concept of necessary environment . . . . 14--24 Karl Korn APL community meets at NASA . . . . . . 27--28 S. Charmonman Sixty-character representation of APL symbols . . . . . . . . . . . . . . . . 29--34 Alan T. McEwan and Don W. A. Watson APL/360 recursed! . . . . . . . . . . . 35--40
Thomas E. Cheatham and Thomas A. Standish Optimization aspects of compiler-compilers . . . . . . . . . . . 10--17 Neil Lincoln Parallel programming techniques for compilers . . . . . . . . . . . . . . . 18--31 Franklin L. DeRemer Optimization using LR(k) techniques . . 32--34
J. J. Horning and W. R. Lalonde Empirical comparison of LR(k) and precedence parsers . . . . . . . . . . . 10--24 Lawrence M. Breed The APL PLUS file subsystem . . . . . . 29--31 P. E. Hagerty An APL symbol set for Model 35 Teletypes 31--33 Lawrence M. Breed and Roger D. Moore Errors and fixes in the APL/360 Program Product . . . . . . . . . . . . . . . . 33--38 S. Charmonman A generalization of APL array-oriented concept . . . . . . . . . . . . . . . . 38--42
Jacques LaFrance Optimization of error recovery in syntax-directed parsing algorithms . . . 2--17 M. Donald MacLaren PL/I language development in ANSI/X3J1 and ECMA/TC1O . . . . . . . . . . . . . 18--29 M. Donald MacLaren Data matching, data alignment, and structure mapping in PL/I . . . . . . . 30--43 F. G. Pagan A method of linking PL/I to SNOBOL4 . . 46--49 Robert T. Duquet Eliza in SNOBOL4 . . . . . . . . . . . . 50--60 Paul J. Santos and W. Douglas Maurer Compilation of a subset of SNOBOL4 . . . 60--68
Robert J. Lambird String enhancements to ANSI Standard Fortran (part 1) . . . . . . . . . . . . 5--12 Tom McMurchie A limited-character APL symbolism . . . 15--16 C. Victor Bunderson On hobbits and the growth of APL . . . . 17--17 Mary Zosel University of Washington implementation 18--30
Peter Wegner Data structure models for programming languages . . . . . . . . . . . . . . . 1--54 John B. Johnston The contour model of block structured processes . . . . . . . . . . . . . . . 55--82 E. I. Organick and J. G. Cleary A data structure model of the B6700 computer system . . . . . . . . . . . . 83--145 Kurt Walk Modelling of storage properties of higher level languages . . . . . . . . . 146--170 Daniel M. Berry Introduction to Oregano . . . . . . . . 171--190 Clement McGowan and Peter Wegner The equivalence of sequential and associate information structure models 191--216 W. A. Ferguson and G. J. Lipovski A generalized assembly language using regular expressions . . . . . . . . . . 217--236 Andries van Dam Data and storage structures for interactive graphics . . . . . . . . . . 237--267 Marshall D. Abrams Data structures for computer graphics 268--286 Vincent A. Busam On the structure of dictionaries for compilers . . . . . . . . . . . . . . . 287--305 David S. Wile and C. M. Geschke Efficient data accessing in the programming language Bliss . . . . . . . 306--320 James B. Morris, Jr. and Mark B. Wells Generalized data structures in Madcap VI 321--336 M. V. Wilkes Associative tabular data structures . . 337--345 G. J. Lipovski On data structures in associative memories . . . . . . . . . . . . . . . . 346--365 Harry Katzan, Jr. Representation and manipulation of data structures in APL . . . . . . . . . . . 366--397 Paul E. Weston and Stephen M. Taylor Cylinders: a relational data structure 398--416
Joachim v. Peschke PL/I subsets for software writing . . . 16--22 Philip S. Abrams Remarks about terminal I/O in APL/360 33--33 Theodore A. Linden The Ackermann function in APL . . . . . 34--35
A. J. Rose More about multi-adic functions . . . . 10--11 Larry Breed Generalizing APL scalar extension . . . 12--14 Karl Korn and John Rose APL-FIOS; APL-FIDOS: multilevel total file access and special features . . . . 14--18 D. A. Bonyun APL algorithms . . . . . . . . . . . . . 21--31
Christopher J. Shaw SNOBOL bulletin . . . . . . . . . . . . 3--5 John R. Clark and Thomas R. Dickson and William H. Marshall and Angeloa Segalla A summary of the presentations at APL Users Conference Workshop 3 . . . . . . 3--13 Christopher J. Shaw FORTRAN information bulletin . . . . . . 6--22 Niels Gellert Abstract of the proceedings at the SEAS APL Working Committee's meeting Grenoble, Feb. 15th, 16th/71 . . . . . . 14--15 Hendricks Selection of a medium for program exchange (appendix II to SEAS APL proceedings) . . . . . . . . . . . . . . 15--16 J. F. Clementi and A. P. Fletcher Modifications to the APL 1130/system to provide more convenient operating on a Fortran user's machine . . . . . . . . . 16--18 David A. Bonyun Mark sense APL . . . . . . . . . . . . . 18--19 Lew Greenberg APL/6500 at Michigan State University 20--21
Bruce Silberg Detab/65 in third-generation Cobol . . . 4--8 Thomas G. LaFleur Decision tables: a tool for documenting logical condition relationships . . . . 9--12 Henry O. Arnold Utilization of a decision table translator for basic program creation 12--19 J. M. Jarvis An analysis of programming via decision table compilers . . . . . . . . . . . . 20--32 Robert F. Sterbenz Tabsol decision table preprocessor . . . 33--40 Donald J. Lemoine An automatic decision-logic-table processor . . . . . . . . . . . . . . . 40--45 Michael F. Weisbard Detap/55: a decision table preprocessor for generating single-paragraph, fully-nested Cobol code . . . . . . . . 45--53 R. Scowen The use of decision tables in Babel . . 54--68 Jonas Rabin Conversion of limited-entry decision tables into optimal decision trees: fundamental concepts . . . . . . . . . . 68--74 C. Geoffrey Woods and Mary K. Hawes Optimized code generation from extended-entry decision tables . . . . . 74--80 W. H. Dailey Some notes on processing limited-entry decision tables . . . . . . . . . . . . 81--89 William J. Harrison Practically complete decision tables: a range approach . . . . . . . . . . . . . 89--93 Bennett M. Schwartz Lisp 1.5 decision tables implemented for a serial computer and proposed for parallel computers . . . . . . . . . . . 93--103 Toshio Yasui Some aspects of decision table conversion techniques . . . . . . . . . 104--111
Jean E. Sammet Brief survey of languages used for systems implementation . . . . . . . . . 1--19 John Slimick Current systems implementation languages: One user's view . . . . . . . 20--28 David J. Farber A survey of the systematic use of macros in systems building . . . . . . . . . . 29--36 Gerd R. Sapper The programming language PS440 as a tool for implementing a time-sharing system 37--41 W. Wulf and C. Geschke and D. Wile and J. Apperson Reflections on a systems programming language . . . . . . . . . . . . . . . . 42--49 R. Daniel Bergeron and John D. Gannon and Andries van Dam Language for Systems Development . . . . 50--72 Don M. Lyle A hierarchy of high order languages for systems programming . . . . . . . . . . 73--78 B. L. Clark and J. J. Horning The System Language for Project SUE . . 79--88 Martin Hopkins Problems of PL/I for system programming 89--91 Pierre J. Du Bois, Jr. and Jeanne T. Martin The LRLTRAN language as used in the FROST and FLOE time-sharing operating systems . . . . . . . . . . . . . . . . 92--104 P. J. Du Bois, Jr. and J. T. Martin The LRLTRAN language as used in the FROST and FLOE time-sharing operating systems . . . . . . . . . . . . . . . . 92--104 Harvey W. Bingham Use of APL in microprogrammable machine modeling . . . . . . . . . . . . . . . . 105--109 Gio Wiederhold and John Ehrman Inferred syntax and semantics of PL/S 110--121
Claude A. R. Kagan Floating point sub-language of a string language . . . . . . . . . . . . . . . . 20--22 Robert J. Korsan A proposed APL extension . . . . . . . . 21--23 Norman Glick and Richard Schrader APL on the Honeywell 635 . . . . . . . . 23--30 P. D. Page An old-line proof checker operating under APL/360, with educational applications in logic, mathematics, and computer science . . . . . . . . . . . . 30--34 Rodnay Zaks A language machine . . . . . . . . . . . 34--39 J. F. Clementi and B. G. James and R. P. Fletcher Modifications to the APL/1130 system part 2 . . . . . . . . . . . . . . . . . 40--46 Kenneth Ahl and John Barrington and John Hillier and Evelyn Mack and Walter Whipple Character and BIT data types for FORTRAN: a proposal to ANSI subcommittee X3J3 . . . . . . . . . . . . . . . . . . 22--40 Millard H. Perstein Report to SPARC (the Standards Planning and Requirements Committee of ANSI) from the ad hoc committee on operating system control languages . . . . . . . . . . . 41--49 Christopher J. Shaw FORTRAN information bulletin . . . . . . 50--65
Hermann Kopetz On the implementation of an interactive system on a small computer . . . . . . . 2--4 Gerhard Kratky The definition of AMTRAN . . . . . . . . 5--31 Juris Reinfelds A concept by concept description of the AMTRAN language . . . . . . . . . . . . 32--59 Juris Reinfelds Some applications of AMTRAN . . . . . . 60--90 Anonymous Special issue on AMTRAN (Automatic Mathematical TRANslation) . . . . . . . ??
R. S. Scowen Babel, an application of extensible compilers . . . . . . . . . . . . . . . 1--7 Gerald D. Chandler METAPI: a language for extensions . . . 8--9 N. Yoneda The description and the structure of ALGOL N . . . . . . . . . . . . . . . . 10--14 N. Suzuki and T. Fujisaki and K. Kakehi and E. Wada and T. Simauti The implementation of ALGOL N . . . . . 15--22 J. Katzenelson and E. Milgrom A short presentation of the main features of AEPL --- an extensible programming language . . . . . . . . . . 23--25 Ben Wegbreit An overview of the ECL programming system . . . . . . . . . . . . . . . . . 26--28 M. G. Notley A model of extensible language systems 29--38 Henry J. Bowlden Macros in higher-level languages . . . . 39--44 Charles A. Grant Syntax translation with context macros or macros without arguments . . . . . . 45--47 P. L. Wodon A syntax macro processor . . . . . . . . 48--50 A. Fernandez and J. C. Heliard and J. D. Ichbiah Overview of the syntax processor generator SYNPROC . . . . . . . . . . . 51--55 Bernard Lang Parallel non-deterministic bottom-up parsing . . . . . . . . . . . . . . . . 56--57 Michael Hammer An alternative approach to macro processing . . . . . . . . . . . . . . . 58--64 S. Crespi Reghizzi Grammatical inference for defining extensions . . . . . . . . . . . . . . . 65--66 Teun van Gils Syntactic definition mechanisms . . . . 67--74 Philippe Jorrand Data types and extensible languages . . 75--83 Jean D. Ichbiah Extensibility in Simula 67 . . . . . . . 84--86 Benjamin M. Brosgol An implementation of ECL data types . . 87--95 B. M. Leavenworth Transition functions: A method for semantic extensions . . . . . . . . . . 96--103 Charles J. Prenner The control structure facilities of ECL 104--112 Rudolph A. Krutar Conversational systems programming by incremental extension of system configuration . . . . . . . . . . . . . 113--116 B. N. Dickman Subroutine interface primitives for ETC 117--119 Stephen A. Schuman An extensible interpreter . . . . . . . 120--128 Glenn H. Holloway Interpreter/compiler integration in ECL 129--134 John D. Woolley MENELAUS: A system for measurement of the extensible language Proteus . . . . 135--136 J. J. Duby Extensible languages: A potential user's point of view . . . . . . . . . . . . . 137--140 Jean E. Sammet Application of extensible languages to specialized application languages . . . 141--143 Thomas A. Standish PPL: an extensible language that failed 144--145 T. E. Cheatham, Jr. Extensible language --- where are we going . . . . . . . . . . . . . . . . . 146--147
Robin Milner Implementation and applications of Scott's logic for computable functions 1--6 Rod M. Burstall An algebraic description of programs with assertions, verification and simulation . . . . . . . . . . . . . . . 7--14 C. David Allen Derivation of axiomatic definitions of programming languages from algorithmic definitions . . . . . . . . . . . . . . 15--26 Zohar Manna and Stephen Ness and Jean Vuillemin Inductive methods for proving properties of programs . . . . . . . . . . . . . . 27--50 E. A. Ashcroft Program correctness methods and language definition . . . . . . . . . . . . . . . 51--57 J. M. Cadiou and Zohar Manna Recursive definitions of partial functions and their computations . . . . 58--65 T. E. Hull and W. H. Enright and A. E. Sedgwick The correctness of numerical algorithms 66--73 Michael S. Paterson Decision problems in computational models . . . . . . . . . . . . . . . . . 74--82 Stephen J. Garland and David C. Luckham Translating recursion schemes into program schemes . . . . . . . . . . . . 83--96 H. R. Strong and S. A. Walker Properties preserved under recursion removal . . . . . . . . . . . . . . . . 97--103 Michael J. Fischer Lambda calculus schemata . . . . . . . . 104--109 Clement McGowan The Contour Model Lambda Calculus Machine . . . . . . . . . . . . . . . . 110--115 Raymond E. Miller A boundary between decidability and undecidability for parallel program schemata (Extended Abstract) . . . . . . 116--120 Ralph L. London Correctness of a compiler for a Lisp subset . . . . . . . . . . . . . . . . . 121--127 Peter Wegner Operational semantics of programming languages . . . . . . . . . . . . . . . 128--141 John A. N. Lee The definition and validation of the radix sorting technique . . . . . . . . 142--149 C. B. Jones Formal development of correct algorithms: An example based on Earley's recogniser . . . . . . . . . . . . . . . 150--169 Daniel M. Berry The equivalence of models of tasking . . 170--190 Clement L. McGowan The ``most recent'' error: Its causes and correction . . . . . . . . . . . . . 191--202 Michel Sintzoff Calculating properties of programs by valuations on specific models . . . . . 203--207 T. E. Cheatham, Jr. and Ben Wegbreit On a laboratory for the study of automating programming . . . . . . . . . 208--211
Christopher J. Shaw Errata to 1971 November 10 issue . . . . 18--18 Christopher J. Shaw Errata to 1971 September issue . . . . . 18--18 M. H. Halstead Natural laws controlling algorithm structure? . . . . . . . . . . . . . . . 19--26
R. A. Snowdon PEARL: an interactive system for the preparation and validation of structured programs . . . . . . . . . . . . . . . . 9--26
M. A. Jenkins DOMINO: an APL primitive function for matrix inversion --- its implementation and applications . . . . . . . . . . . . 29--40 C. Pettus Indeterminate $0 \div 0$ check in APL 40--41 K. W. Smillie APLISP: a simple list processor in APL 41--45 Phillip S. Abrams and Lawrence M. Breed COLLOQUE APL: Paris, September 1971 . . 45--47 J. F. Clementi and R. P. Fletcher and B. G. James Modification to the APL/1130 system: part 3 . . . . . . . . . . . . . . . . . 47--49 Robert P. Fletcher Algorithms: number 77 multiple integration . . . . . . . . . . . . . . 55--64
B. N. Dickman Review of ``Symposium on some directions in high-level languages'' . . . . . . . 4--8 J. David McGonagle Notes on the computer program test methods symposium . . . . . . . . . . . 8--12 W. A. Wulf Project Rosetta Stone: an exhibition of languages for system implementation . . 13--13
Leonard Mor and Joseph H. Yott and Hans Zima Progress: a programming language for real-time systems . . . . . . . . . . . 4--24 Bernard Lang A new technique for data monitoring . . 41--42
J. G. Fletcher and C. S. Badger and G. L. Boer and G. G. Marshall On the appropriate language for system programming . . . . . . . . . . . . . . 28--30
B. A. Wichmann Estimating the execution speed of an Algol program . . . . . . . . . . . . . 24--44
Edward J. Krall An implementation of on-conditions in LISP . . . . . . . . . . . . . . . . . . 13--20 B. M. Schwartz Design and implementation of PL/I preprocessor-based systems . . . . . . . 21--36
Mark B. Wells A review of two-dimensional programming languages . . . . . . . . . . . . . . . 1--10 Melvin Klerer The economics, politics, and sociology of two-dimensional systems . . . . . . . 11--22 H. J. Gawlik Progress in MIRFAC . . . . . . . . . . . 23--29 James E. George Graphical systems and two-dimensional mathematical expressions . . . . . . . . 30--34 George L. Lazik GRAPHOS: A macro directed system for two-dimensional syntax translation . . . 35--47 D. R. Morrison and R. C. Allen, Jr. Shape coefficients for polygons . . . . 48--56 H. E. Kulsrud An extensible system for drawing block diagrams . . . . . . . . . . . . . . . . 57--65 Michael S. Wolfberg Fundamentals of the AMBIT/L list-processing language . . . . . . . . 66--75 W. V. Wright The two-dimensional interface of an interactive system for molecular studies 76--84 H. H. Holmes and D. M. Austin PICASSO a general graphics modeling program . . . . . . . . . . . . . . . . 85--92 James H. Griesmer and Richard D. Jenks SCRATCHPAD: A capsule view . . . . . . . 93--102 Ken Knowlton A report on the use of FORTRAN-coded EXPLOR for the teaching of computer graphics and computer art . . . . . . . 103--112 Robert H. Anderson Programming on a tablet: A proposal for a new notation . . . . . . . . . . . . . 113--123 Jean Saylor The Assistant Mathematician: An interactive graphic programming language 124--129 Marjorie J. Devaney and Jeanne Hudgins The terminal control language for the Madcap programming language . . . . . . 130--136 James S. Miller Two-dimensional characteristics of HAL, a language for spaceflight applications 137--141 James N. Haag and Michael A. Kelly and Paul F. Sherman TWO-D: The USF Beginner's Two-Dimensional Programming System . . . 142--152
David A. Fisher A survey of control structures in programming languages . . . . . . . . . 1--13 Kim Gostelow and Vincent G. Cerf and Gerald Estrin and Saul Volansky Proper termination of flow-of-control in programs involving concurrent processes 15--27 James B. Morris and Mark B. Wells The specification of program flow in Madcap 6 . . . . . . . . . . . . . . . . 28--35 Charles J. Prenner and Jay M. Spitzen and Ben Wegbreit An implementation of backtracking for programming languages . . . . . . . . . 36--44 Paul B. Schneck Automatic recognition of vector and parallel operations in a higher level language . . . . . . . . . . . . . . . . 45--52 B. M. Leavenworth Programming with(out) the GOTO . . . . . 54--58 Martin E. Hopkins A case for the GOTO . . . . . . . . . . 59--62 William A. Wulf A case against the GOTO . . . . . . . . 63--69
William A. Wulf The problem of the definition of subroutine calling conventions . . . . . 3--8 B. N. Dickman Subroutine interface primitives for ETC 9--19 H. D. Baecker On a missing mode in ALGOL 68 . . . . . 20--30 Mark Rain Storage control in MARY . . . . . . . . 31--39 Eberhard Wegner Tree-structured programs . . . . . . . . 40--42 Per Holager A consolidation of synchronization primitives . . . . . . . . . . . . . . . 42--52
Mark Rain Operation expressions in MARY . . . . . 7--14 Edward C. Haines AL: a structured assembly language . . . 15--20
T. I. Fenner and M. A. Jenkins and R. D. Tennent QUEST: the design of a very high level, pedagogic programming language . . . . . 3--27 W. Wulf and Mary Shaw Global variable considered harmful . . . 28--34
Eberhard Wegner A hierarchy of control structures . . . 11--17 Aaron Gurski Job control languages as machine orientated [sic] languages . . . . . . . 18--23 Mark Rain and Per Holager The present most recent final word about labels in MARY . . . . . . . . . . . . . 24--32
Garth H. Foster File action in APL: building new additions and placing the house in order 6--15 Edward C. Haines Omitted portions of paper: AL: a structured assembly language . . . . . . 16--21
Richard C. Holt Teaching the fatal disease: (or) introductory computer programming using PL/I . . . . . . . . . . . . . . . . . . 8--23 Richard Dunn SNOBOL4 as a language for bootstrapping a compiler . . . . . . . . . . . . . . . 28--32
Jerry L. Apperson Optimal evaluation order for expressions with redundant subexpressions . . . . . 1--3 M. S. Blois and R. R. Henley and P. LeBeux Frame programming language . . . . . . . 4--6 G. V. Bochmann Compiler generation for attribute grammars . . . . . . . . . . . . . . . . 7--7 Nancy B. Brooks Tactics, an integrated system for structured programming . . . . . . . . . 8--11 Necdet Bulut and M. H. Halstead Invariant properties of algorithms . . . 12--13 N. Buckle Design of a language for high-level data structures . . . . . . . . . . . . . . . 14--15 Paul A. Castleman PROPHET system . . . . . . . . . . . . . 16--18 Thomas W. Christopher Development of the system programming language: HARVEY . . . . . . . . . . . . 19--21 R. O. Clark Environmental primitives for programming languages . . . . . . . . . . . . . . . 22--23 James W. Conklin Design of a language for complex systems 24--25 C. Daquin and C. Giraud and B. De La Passardiere and B. Quement An extensible system for abstract machines . . . . . . . . . . . . . . . . 25--27 Thomas M. Davis A system for the specification of programs . . . . . . . . . . . . . . . . 27--29 J. B. Dennis Toward the specification of a common base language . . . . . . . . . . . . . 29--31 W. P. de Roever Operational and mathematical semantics for recursive polyadic program schemata 31--34 P. Desjardins A Pascal compiler for the Xerox SIGMA 6 34--36 M. Dupras and M. Gauthier and C. Girault Transferability of high level languages 36--37 Richard L. Fairley An interactive system for studying semantic models of computer programs . . 37--39 Robert A. Fraley High-speed parsing of a superset of LR(k) grammars . . . . . . . . . . . . . 39--41 H. George Friedman and Axel-Tobias Schreiner CLEOPATRA: comprehensive language for elegant operating system and translator design . . . . . . . . . . . . . . . . . 41--43 E. J. Funk The design and use of understandable, minimally error-prone programming languages . . . . . . . . . . . . . . . 43--46 John D. Gannon Language and compiler design to enhance reliability . . . . . . . . . . . . . . 47--49 M. A. Jenkins A compiler for APL . . . . . . . . . . . 49--50 M. A. Jenkins and R. D. Tennent The design and implementation of quest, a very high level pedagogic programming language . . . . . . . . . . . . . . . . 50--51 Olivier Lecarme Compiler writing system . . . . . . . . 51--54 Robert Lechner and William Stallings A systems programming language for minicomputers . . . . . . . . . . . . . 54--56 Henry F. Ledgard Production systems --- or can we do better than BNF? . . . . . . . . . . . . 56--58 M. Levison QUILL: a programming language for literary text analysis . . . . . . . . . 58--60 Orlando S. Madrigal A compiler building system for small-scale computers . . . . . . . . . 60--62 Edward F. Miller Extensions to FORTRAN to support structured programming (ITRAN) . . . . . 63--64 James B. Morris and Mark B. Wells The Madcap 6 programming language . . . 64--66 Lawrence Pfeffer DAHLIA: a notation fabrication plan . . 66--70 Lawrence Pfeffer Permanent and transient data structures and associated optimization techniques 70--72 Lawrence Pfeffer RAMBAM: a notation and methodology for man-machine dialogue specification . . . 72--74 Terrence Pratt Formal definition of programming languages . . . . . . . . . . . . . . . 74--76 B. Press Meta-optimizer development . . . . . . . 77--80 Juris Reinfelds Development of interactive languages for scientific computing: programming language research report . . . . . . . . 80--81 Bernard J. Robinet Semantics of data structures . . . . . . 82--83 Mary Shaw A system for structured programming . . 84--87 Ian D. Smith A new set theory language . . . . . . . 87--88 Anonymous Implementation of a Pascal compiler for the CII IRIS 80 computer . . . . . . . . 89--90 W. M. Waite Software engineering: portability . . . 90--92 Larry Weissman Psychological complexity of computer programs . . . . . . . . . . . . . . . . 92--95 David S. Wile A generative nested-sequential basis for general-purpose programming languages 96--98 D. B. Wortman Programming language grammar anthology 99--100 Anonymous Abstracts in programming language-related research . . . . . . . ??
Jed B. Marti ELMOL: a language for the real time generation of electronic music . . . . . 23--30 S. Cohen Speakeasy . . . . . . . . . . . . . . . 31--44
I. Nassi and B. Shneiderman Flowchart techniques for structured programming . . . . . . . . . . . . . . 12--26 S. Cohen TSO-speakeasy newsletter #5 . . . . . . 27--32
Jack B. Dennis Report of session on semantics . . . . . 2--4 Robert Freiburghouse and Barbara Liskov Report of session on structured programming . . . . . . . . . . . . . . 5--10 Maria F. Weller Report of session on transferability . . 11--16 Jack Dennis and Michael D. Schroeder Report of session on concurrency . . . . 17--21 Robert A. Freiburghouse and Robert M. Graham Report of session on systems programming languages . . . . . . . . . . . . . . . 22--26 Peter G. Neumann Report of evening session protection . . 27--27 Karl Levitt Report of evening session on hierarchical methods . . . . . . . . . . 28--29 Paul Abrahams A compiler writer's wishbook for operating systems . . . . . . . . . . . 30--33 Joseph H. Austin, Jr. Specification languages for control programs . . . . . . . . . . . . . . . . 34--37 Alan Ballard and Dennis Tsichritzis System correctness . . . . . . . . . . . 38--41 G. Balpaire and J. P. Wilmotte Semantic aspects of concurrent processes 42--45 Gérald Belpaire and Jean Pierre Wilmotte Semantic aspects of concurrent processes 42--45 Daniel M. Berry Towards ISMs for OPSs . . . . . . . . . 46--49 Gregor V. Bochmann Hierarchical language definition . . . . 50--51 B. L. Clark and J. J. Horning Reflections on a language designed to write an operating system . . . . . . . 52--56 N. J. Denil Software design with invocation diagrams 57--59 Frank L. Friedman and Victor B. Schneider A systems implementation language for small computers . . . . . . . . . . . . 60--63 A. N. Habermann Integrated design . . . . . . . . . . . 64--66 D. Austin Henderson, Jr. A model of a modular interactive system 67--69 Robert G. Herriot GLOSS: A semantic model of programming languages . . . . . . . . . . . . . . . 70--73 Richard C. Holt and Marc S. Grushcow A short discussion of interprocess communication in the SUE/360/370 operating system . . . . . . . . . . . . 74--78 J. D. Ichbiah and J. P. Rissen and J. C. Heliard The two-level approach to data definition and space management in the LIS system implementation language . . . 79--81 Peter Jensen The grok project data structures and process communication . . . . . . . . . 82--85 J. C. King Abstract machines and software design 86--88 Paul R. Kosinski A data flow language for operating systems programming . . . . . . . . . . 89--94 Olivier Lecarme An experience in structured programming and transferability . . . . . . . . . . 95--96 Theodore A. Linden Proving the adequacy of protection in an operating system . . . . . . . . . . . . 97--99 Barbara H. Liskov and Leroy A. Smith SPIL: A language for construction of reliable system software . . . . . . . . 100--103 M. Donald MacLaren Tasking in standard PL/I . . . . . . . . 104--108 R. M. McKeag Programming languages for operating systems . . . . . . . . . . . . . . . . 109--111 Alan G. Merten and Edgar H. Sibley Transferability and translation of data 112--114 James S. Miller A programming language family for the Navy AADC . . . . . . . . . . . . . . . 115--116 Harlan D. Mills and Max L. Wilson A Kernel System for information system development, evolution, and operation 117--119 James B. Morris Programming by semantic refinement . . . 120--122 E. J. Neuhold Towards the formal description of operating systems . . . . . . . . . . . 123--126 R. Noonan and V. Basili and R. Hamlet and M. Lay and D. Mills and J. Turner and M. Zelkowitz A SIMPL distributed operating system and its formal definition . . . . . . . . . 127--128 Charles J. Prenner Extensible control structures . . . . . 129--132 William E. Riddle A method for the description and analysis of complex software systems . . 133--136 David Udin SPECL: A system programming dialect of ECL . . . . . . . . . . . . . . . . . . 137--139 Gio C. M. Wiederhold The need and techniques to obliterate control languages . . . . . . . . . . . 140--141 Stephen N. Zilles Procedural encapsulation: A linguistic protection technique . . . . . . . . . . 142--146
David Beech and Michael Marcotty Unfurling the PL/I standard . . . . . . 12--43 F. G. Pagan On the teaching of disciplined programming . . . . . . . . . . . . . . 44--48
Hamilton Richards and Roy J. Zingg The logical structure of the memory resource in the symbol-2R computer . . . 1--10 J. W. Anderberg and C. L. Smith High-level language translation in symbol 2R . . . . . . . . . . . . . . . 11--19 P. C. Hutchison and K. Ethington Program execution in the symbol 2R computer . . . . . . . . . . . . . . . . 20--26 Hamilton Richards and Charles Wright Introduction to the symbol 2R programming language . . . . . . . . . . 27--33 William C. Nielsen Design of an aerospace computer for direct HOL execution . . . . . . . . . . 34--42 Stanley M. Nissen and Steven J. Wallach The all applications digital computer 43--51 James S. Miller and Woodrow H. Vandever Instruction architecture of an aerospace multiprocessor . . . . . . . . . . . . . 52--60 Joel F. Bartlett The HP 3000 computer system . . . . . . 61--69 Howard M. Bloom Structure of a direct high-level language processor . . . . . . . . . . . 70--80 Robert G. Herriot GLOSS: a high level machine . . . . . . 81--90 L. N. McMahan and E. A. Feustel Implementation of a tagged architecture for block structured languages . . . . . 91--100 Andrew M. Welin The internal machine . . . . . . . . . . 101--108 S. C. Schroeder and L. E. Vaughn A high order language optimal execution processor: \underlineFast \underlineIntent \underlineRecognition \underlineSys\underlinetem (FIRST) . . . 109--116 Lawrence J. Schutte A report on the value of some advanced high level language operators on current sequential computers . . . . . . . . . . 117--123 Gary A. Sitton and Thomas A. Kendrick and A. Gil Carrick The PL/EXUS language and virtual machine 124--130 Leonard S. Haynes Structure of a Polish String language for an Algol 60 language processor . . . 131--140 L. M. Chirica and T. A. Dreisbach and D. F. Martin and J. G. Peetz and A. Sorkin Two parallel EULER run time models: the dangling reference, imposter environment, and label problems . . . . 141--151 Victor R. Basili and Albert J. Turner A hierarchical machine model for the semantics of programming languages . . . 152--164 D. M. Berry and L. Chirica and J. B. Johnston and D. F. Martin and A. Sorkin On the time required for retention . . . 165--178
Johannes J. Martin The 'natural' set of basic control structures . . . . . . . . . . . . . . . 5--14 R. A. Krutar Restricted global variables in Algol 60 15--17 James E. George and Gary R. Sager Variables: bindings and protection . . . 18--29
Thomas I. M. Ho Review of ``On programming: an interim report on the SETL project, installment II: the SETL language and examples of its use by J. T. Schwartz. New York University, 1973'' . . . . . . . . . . . 6--7 Frank L. Friedman and Victor B. Schneider A programming language for mini-computer systems . . . . . . . . . . . . . . . . 8--32
Ralph E. Griswold Suggested revisions and additions to the syntax and control mechanisms of SNOBOL 4 . . . . . . . . . . . . . . . . . . . 7--23 Jacob Palme SIMULA as a tool for extensible program products . . . . . . . . . . . . . . . . 24--40
Neodet Bulut and Maurice H. Halstead Impurities found in algorithm implementations . . . . . . . . . . . . 9--12 Richard H. Karpinski An unstructured view of structured programming . . . . . . . . . . . . . . 12--20
John Backus Function level programs as mathematical objects . . . . . . . . . . . . . . . . 1--10 B. M. Leavenworth and J. E. Sammet An overview of nonprocedural languages 1--12 John Guttag and James Horning and John Williams FP with data abstraction and strong typing . . . . . . . . . . . . . . . . . 11--24 C. W. Goldsmith The design of a procedureless programming language . . . . . . . . . . 13--24 Philip Wadler Applicative style programming, program transformation, and list operators . . . 25--32 M. M. Hammer and W. G. Howe and I. Wladawsky An interactive business definition system . . . . . . . . . . . . . . . . . 25--33 N. Islam and T. J. Myers and P. Broome A simple optimizer for FP-like languages 33--40 J. Earley High level operations in automatic programming . . . . . . . . . . . . . . 34--42 Richard B. Kieburtz and Jonathan Shultis Transformations of FP program schemes 41--48 J. T. Schwartz Automatic and semiautomatic optimization of SETL . . . . . . . . . . . . . . . . 43--49 G. Berry Programming with concrete data structures and sequential algorithms . . 49--58 Barbara Liskov and Stephen Zilles Programming with abstract data types . . 50--59 D. Kapur and D. R. Musser and A. A. Stepanov Operators and algebraic structures . . . 59--64 R. C. T. Lee and S. K. Chang Structured programming and automatic program synthesis . . . . . . . . . . . 60--70 John Darlington and Mike Reeve ALICE: a multi-processor reduction machine for the parallel evaluation CF applicative languages . . . . . . . . . 65--76 B. Shneiderman and P. Scheuermann Structured data structures . . . . . . . 71--72 R. E. Fairley Continuous system simulation languages: design principles and implementation techniques . . . . . . . . . . . . . . . 73--81 A. J. Catto and J. R. Gurd Resource management in dataflow . . . . 77--84 Wing Cheung Tam and W. J. Karplus PDEL-ID: an extension of PDEL for distributed parameter system identification . . . . . . . . . . . . . 82--90 D. A. Turner The semantic elegance of applicative languages . . . . . . . . . . . . . . . 85--92 G. E. Heidorn English as a very high level language for simulation programming . . . . . . . 91--100 Gyula Magó Copying operands versus copying results: A solution to the problem of large operands in FFP'S . . . . . . . . . . . 93--98 Donald F. Stanat and E. Hollins Williams, Jr. Optimal associative searching on a cellular computer . . . . . . . . . . . 99--106 R. D. Jenks The SCRATCHPAD language . . . . . . . . 101--111 H. A. Presnell and R. P. Pargas Communication along shortest paths in a tree machine . . . . . . . . . . . . . . 107--114 M. Levison The design and implementation of a very high level language for literary scholars . . . . . . . . . . . . . . . . 112--117 Donald MacDavid Tolle Implanting FFP trees in binary trees: An architectural proposal . . . . . . . . . 115--122 S. Cohen Speakeasy an evolutionary system . . . . 118--126 Robert M. Keller and Gary Lindstrom Applications of feedback in functional programming . . . . . . . . . . . . . . 123--130 E. W. Ziegler An introduction to the UMTA specification language . . . . . . . . . 127--132 Robert M. Keller and M. Ronan Sleep Applicative caching: Programmer control of object sharing and lifetime in. distributed implementations of applicative languages . . . . . . . . . 131--140 Bengt Nordström Programming in Constructive Set Theory: Some examples . . . . . . . . . . . . . 141--154 Michel Sintzoff Proof-oriented and applicative valuations in definitions of algorithms 155--162 John S. Conery and Dennis F. Kibler Parallel interpretation of logic programs . . . . . . . . . . . . . . . . 163--170 Keith L. Clark and Steve Gregory A relational language for parallel programming . . . . . . . . . . . . . . 171--178 R. L. Page and M. G. Conant and D. H. Grit If-then-else as a concurrency inhibitor in eager beaver evaluation of recursive programs . . . . . . . . . . . . . . . . 179--186 F. Warren Burton and M. Ronan Sleep Executing functional programs on a virtual tree of processors . . . . . . . 187--194 Peter Buneman and Rishiyur Nikhil and Robert Frankel A practical functional programming system for databases . . . . . . . . . . 195--202 V. M. Malhotra and V. Rajaraman A data-flow language for specifying business data processing applications 203--212 B. J. MacLennan Introduction to relational programming 213--220 Geoffrey A. Frank Specification of data structures for FP programs . . . . . . . . . . . . . . . . 221--228
Paul W. Abrahams Improving the control structure of SNOBOL4 . . . . . . . . . . . . . . . . 10--12 Walter Bilofsky Syntax extension and the IMP72 programming language . . . . . . . . . . 13--30 Amos N. Gileadi and Henry F. Ledgard On a proposed measure of program structure . . . . . . . . . . . . . . . 31--36
Hilmer W. Besel After the GOTO debate . . . . . . . . . 13--16 B. N. Dickman More fuel for the GOTO controversy . . . 17--17 Daniel L. Ostapko On deriving a relation between circuits and input/output by analyzing an equivalent program . . . . . . . . . . . 18--24 Larry Weissman Psychological complexity of computer programs: an experimental methodology 25--36
James Peterson Review of The elements of programming style by Brian W. Kernighan and P. J. Plauger. McGraw-Hill Company, 1974 . . . 6--6 Daniel P. Friedman and Stuart C. Shapiro A case for while-until . . . . . . . . . 7--14 Olivier Lecarme Structured programming, programming teaching and the language Pascal . . . . 15--21 Stuart H. Sanfield The scope of variable concept: the key to structured programming? . . . . . . . 22--29 Joachim von Peschke Syntactic rules embedded in PL/I . . . . 30--38 J. v. Peschke Syntactic rules embedded in PL/I (translator writing system) . . . . . . 30--38 J. E. L. Peck and J. M. Watt and M. Sintzoff Revised ALGOL 68 syntax chart . . . . . 39--39 Anonymous Book reviews . . . . . . . . . . . . . . ??
E. W. Reigel and H. W. Lawson At the Programming Language --- Microprogramming interface . . . . . . . 2--22 Victor R. Lesser The design of an emulator for a parallel machine language . . . . . . . . . . . . 23--36 George E. Rossmann and Louise H. Jones Functional Memory-Based Dynamic Microprocessors for higher level languages . . . . . . . . . . . . . . . 37--65 A. Keith Tirrell A study of the application of compiler techniques to the generation of micro-code . . . . . . . . . . . . . . . 67--85 Harold W. Lawson, Jr. and Lars Blomberg The Datasaab FCPU microprogramming language . . . . . . . . . . . . . . . . 86--97 Tomlinson G. Rauscher Towards a specification of syntax and semantics for languages for horizontally microprogrammed machines . . . . . . . . 98--111 Donald R. Oestreicher A microprogramming language for the MLP-900 . . . . . . . . . . . . . . . . 113--120 George M. Stabler and Ingrid Carlbom and Ken Magel A microprogrammed satellite graphics system . . . . . . . . . . . . . . . . . 121--129 Rodnay Zaks Dynamic memory management for APL-like languages . . . . . . . . . . . . . . . 130--138 R. J. Chevance A COBOL Machine . . . . . . . . . . . . 139--144 François Robert Broca and Richard E. Merwin Direct microprogrammed execution of the intermediate text from a high-level language compiler . . . . . . . . . . . 145--153 J. K. Broadbent and G. F. Coulouris MEMBERS: a Microprogrammed Experimental Machine with a Basic Executive for Real-time Systems . . . . . . . . . . . 154--160 Malcolm C. Harrison A language-oriented instruction set for the BALM language . . . . . . . . . . . 161--168 Bradford W. Wade and Victor B. Schneider A general-purpose high-level language machine for minicomputers . . . . . . . 169--177
David W. Bray Dynamic storage routines for Fortran programs . . . . . . . . . . . . . . . . 2--13 Henry Kleine and Richard V. Morris Modern programming: A definition . . . . 14--17 Anthony G. Middleton A structured model of programs suitable for analysing time/storage trade-offs 18--28 Marvin V. Zelkowitz Interactive PL/1 . . . . . . . . . . . . 29--31
James F. Gimpel Language extensions to SNOBOL4 . . . . . 11--20 J. F. Gimpel Some highlights of the SITBOL language extensions of SNOBOL 4 . . . . . . . . . 11--20 Olivier Lecarme and Pierre Desjardins Reply to a paper by A. N. Habermann on the programming language Pascal . . . . 21--27 Kevin C. McCoy Testing the readability and composability of computer programs: methodology . . . . . . . . . . . . . . 28--28 Loren P. Meissner A compatible ``structured'' extension to Fortran . . . . . . . . . . . . . . . . 29--36
Peter J. Denning Is `structured programming' any longer the right term? . . . . . . . . . . . . 4--6 Barry K. Rosen Note on semantics and optimization . . . 6--10 Jean E. Sammet Roster of programming languages for 1973 18--31 W. C. M. Vaughan Another look at the \tt CASE statement 32--36
Robert R. Korfhage On the development of data structures 14--22 Dennis M. O'Neill SFOR --- a precompiler for the implementation of a FORTRAN-based structured language . . . . . . . . . . 22--29 Ben Shneiderman The chemistry of control structures . . 29--34 Nobuyoshi Terashima SYSL: system description language . . . 35--44
Richard S. Marcus A translating computer interface for a network of heterogeneous interactive information retrieval systems . . . . . 2--12 Terry Winograd Breaking the complexity barrier again 13--30 R. F. Boyce and D. D. Chamberlin and M. M. Hammer and W. F. King Specifying queries as relational expressions . . . . . . . . . . . . . . 31--47 G. Salton and Clement T. Yu On the construction of effective vocabularies for information retrieval 48--60 Abraham Waksman Information retrieval and the query language . . . . . . . . . . . . . . . . 61--70 Susan Artandi The on-line interface of library management and document retrieval systems . . . . . . . . . . . . . . . . 71--74 Thomas H. Martin and Edwin B. Parker Comparative analysis of interactive retrieval systems . . . . . . . . . . . 75--85 Thomas H. Martin and Richard L. Guertin Language decisions made while designing an interactive information retrieval system . . . . . . . . . . . . . . . . . 86--100 Billy G. Claybrook FOL: a language for implementing file organizations for information storage and retrieval systems . . . . . . . . . 101--112 C. J. Crouch An evaluation of languages for the implementation of information storage and retrieval systems . . . . . . . . . 113--117 Diane C. Pirog Smith From a data description point of view 118--130 W. O. Clark and L. L. Shannon A dual structured data base system . . . 131--143 Stanley Y. W. Su and George P. Copeland, Jr. and G. Jack Lipovski Retrieval operations and data representations in a context-addressed disc system . . . . . . . . . . . . . . 144--160 P. F. King and J. E. Shemer ARS: an interactive reporting system . . 161--175 John T. Dockery Remarks on tactical computer problems 176--177 Patrick C. Mitchell A note about the proximity operators in information retrieval . . . . . . . . . 177--180 Norman Price Comments on experiments with retrieval of legal information in full text . . . 180--181
Anders Beckman Secondary effects . . . . . . . . . . . 10--11 Dennis P. Geller How bad can it get? (programming) by a large number of master's candidates . . 12--13 I. D. Hill and R. S. Scowen and B. A. Wichmann Writing algorithms in ALGOL 60 . . . . . 14--31 Thomas W.-S. S. Plum Mathematical overkill and the structure theorem . . . . . . . . . . . . . . . . 32--33 Eberhard Wegner Control constructs for programming languages . . . . . . . . . . . . . . . 34--41 Donald S. Higgins A structured FORTRAN translator . . . . 42--48
Robert E. Millstein and Charles A. Muntz The ILLIAC IV FORTRAN compiler . . . . . 1--8 David L. Presberg and Neil W. Johnson The Paralyzer: Ivtran's Parallelism Analyzer and Synthesizer . . . . . . . . 9--16 David B. Erickson Array processing on an array processor 17--24 Leslie Lamport On programming parallel computers . . . 25--33 Dennis P. Geller and Gerald M. Weinberg The principle of sufficient reason: A guide to language design for parallel processing . . . . . . . . . . . . . . . 34--38 V. R. Basili and J. C. Knight A language design for vector machines 39--43 Ben Zion Barta PACOL: A parallel control language . . . 44--53 Harold K. Resnick and Arvid G. Larson DMAP: a COBOL extension for associative array processors . . . . . . . . . . . . 54--61 Mary E. Zosel A modest proposal for vector extensions to ALGOL . . . . . . . . . . . . . . . . 62--71 K. G. Stevens, Jr. CFD --- A Fortran-Like Language for the Illiac IV . . . . . . . . . . . . . . . 72--76 R. G. Zwakenberg Vector extensions to LRLTRAN . . . . . . 77--86 D. Neel and M. Amirchahy Removal of invariant statements from nested-loops in a single effective compiler pass . . . . . . . . . . . . . 87--96 David B. Loveman and Ross A. Faneuf Program optimization --- theory and practice . . . . . . . . . . . . . . . . 97--102 Paul B. Schneck Movement of implicit parallel and vector expressions out of program loops . . . . 103--106 D. Morris and P. C. Treleaven A stream processing network . . . . . . 107--112 J. B. Hext Array reference operations . . . . . . . 113--118 Dorothy Wedel Fortran for the Texas Instruments ASC System . . . . . . . . . . . . . . . . . 119--132 P. C. Capon and R. N. Ibbett Array operations in MU5 . . . . . . . . 133--137 Michael K. Donegan and Stuart W. Katzke Lexical analysis and parsing techniques for a vector machine . . . . . . . . . . 138--145 Howard E. Krohn A parallel approach to code generation for Fortran like compilers . . . . . . . 146--152 D. J. Evans Problem formulation using array processing techniques . . . . . . . . . 153--163
Paul Abrahams `Structured programming' considered harmful . . . . . . . . . . . . . . . . 13--24 Carma L. McClure Structured programming in COBOL . . . . 25--33 Robert F. Mathis Flow trace of a structured program . . . 33--37 N. H. Weiderman and B. M. Rawson Flowcharting loops without cycles . . . 37--46 Barry L. Wolman Reply to `Interactive PL/I' . . . . . . 46--48
Stephen H. Kamnitzer Bootstrapping XPL from IBM/360 to UNIVAC 1100 . . . . . . . . . . . . . . . . . . 14--20 David McQuillan Transaction diagrams --- a design tool 21--26 David L. Parnas and John E. Shore and W. David Elliott On the need for fewer restrictions in changing compile-time environments . . . 29--36 G. David Ripley and Ralph E. Griswold Tools for the measurement of SNOBOL4 programs . . . . . . . . . . . . . . . . 36--52
Ruth M. Davis The software reliability game . . . . . 1--1 Edsger W. Dijkstra Guarded commands, non-determinacy and a calculus for the derivation of programs 2--2.13 R. D. Williams Managing the development of reliable software . . . . . . . . . . . . . . . . 3--8 Victor Vyssotsky Large-scale reliable software: Recent experience at Bell Labs . . . . . . . . 9--9 J. D. Gannon and J. J. Horning The impact of language design on the production of reliable software . . . . 10--22 Niklaus Wirth An assessment of the programming language PASCAL . . . . . . . . . . . . 23--30 C. M. Geschke and J. G. Mitchell On the problem of uniform references to data structures . . . . . . . . . . . . 31--42 A. Cicu and M. Maiocchi and R. Polillo and A. Sardoni Organizing tests during software evolution . . . . . . . . . . . . . . . 43--50 E. F. Miller, Jr. and R. A. Melton Automated generation of testcase datasets . . . . . . . . . . . . . . . . 51--58 Leon G. Stucki and Gary L. Foshee New assertion concepts for self-metric software validation . . . . . . . . . . 59--71 Barbara Liskov and Stephen Zilles Specification techniques for data abstractions . . . . . . . . . . . . . . 72--87 Susan L. Gerhart Knowledge about programs: A model and case study . . . . . . . . . . . . . . . 88--95 Laurian M. Chirica and David F. Martin An approach to compiler correctness . . 96--103 J. C. Rault Design verification techniques --- a review . . . . . . . . . . . . . . . . . 104--104 B. W. Boehm and R. K. McClean and D. B. Urfrig Some experience with automated aids to the design of large-scale reliable software . . . . . . . . . . . . . . . . 105--113 Frank DeRemer and Hans Kron Programming-in-the large versus programming-in-the-small . . . . . . . . 114--121 William A. Wulf Reliable hardware-software architecture 122--130 Donald J. Reifer Automated aids for reliable software . . 131--142 Shmuel Katz and Zohar Manna Towards automatic debugging of programs 143--155 F. W. von Henke and D. C. Luckham A methodology for verifying programs . . 156--164 Michel Caplain Finding Invariant assertions for proving programs . . . . . . . . . . . . . . . . 165--171 F. T. Baker Structured programming in a production programming environment . . . . . . . . 172--185 L. M. Culpepper A system for reliable engineering software . . . . . . . . . . . . . . . . 186--192 Fred P. Brooks, Jr. The Mythical Man-Month . . . . . . . . . 193--193 Isao Miyamoto ``Software reliability in online real time environment'' . . . . . . . . . . . 194--203 B. Littlewood A reliability model for Markov structured software . . . . . . . . . . 204--207 Ashok K. Trivedi and Martin L. Shooman A many-state Markov model for the estimation and prediction of computer software performance parameters . . . . 208--220 Peter Henderson Finite state modelling in program development . . . . . . . . . . . . . . 221--227 James C. King A new approach to program testing . . . 228--233 Robert S. Boyer and Bernard Elspas and Karl N. Levitt SELECT: a formal system for testing and debugging programs by symbolic execution 234--245 Raymond J. Rubey Quantitative aspects of software validation . . . . . . . . . . . . . . . 246--251 W. C. Lynch and J. W. Langner and M. S. Schwartz Reliability experience with Chi/OS . . . 252--259 D. E. W. Bucher Maintenance of the Computer Sciences Teleprocessing System . . . . . . . . . 260--266 Lawrence Robinson and Karl N. Levitt and Peter G. Neumann and Ashok R. Saxena On attaining reliable software for a secure operating system . . . . . . . . 267--284 K. G. Walter and S. I. Schaen and W. F. Ogden and W. C. Rounds and D. G. Shumway and D. D. Schaeffer and K. J. Biba and F. T. Bradshaw and S. R. Ames and J. M. Gilligan Structured specification of a Security Kernel . . . . . . . . . . . . . . . . . 285--293 Gerald J. Popek and Charles S. Kline A verifiable protection system . . . . . 294--304 P. Brinch Hansen The purpose of Concurrent PASCAL . . . . 305--309 Per Brinch Hansen The purpose of concurrent Pascal . . . . 305--309 Ashok R. Saxena and Thomas H. Bredt A structured specification of a hierarchical operating system . . . . . 310--318 Michel Sintzoff and Axel Van Lamsweerde Constructing correct and efficient concurrent programs . . . . . . . . . . 319--326 Albert Endres An analysis of errors and their causes in system programs . . . . . . . . . . . 327--336 Norman F. Schneidewind Analysis of error processes in computer software . . . . . . . . . . . . . . . . 337--346 M. L. Shooman and M. I. Bolsky Types, distribution, and test and correction times for programming errors 347--357 D. L. Parnas The influence of software structure on reliability . . . . . . . . . . . . . . 358--362 Harlan D. Mills How to write correct programs and know it . . . . . . . . . . . . . . . . . . . 363--370 A. O. Buda and A. A. Granovsky and A. P. Ershov Implementation of the Alpha-6 programming system . . . . . . . . . . . 371--381 C. V. Ramamoorthy and S. F. Ho Testing large software with automated software evaluation systems . . . . . . 382--394 Loren C. Carpenter and Leonard L. Tripp Software design validation tool . . . . 395--400 N. P. Edwards The effect of certain modular design principles on testability . . . . . . . 401--410 Donald I. Good Provable programming . . . . . . . . . . 411--419 Mark S. Laventhal Verifying programs which operate on data structures . . . . . . . . . . . . . . . 420--426 R. Infante and U. Montanari Proving structured programs correct, level by level . . . . . . . . . . . . . 427--436 B. Randell System structure for software fault tolerance . . . . . . . . . . . . . . . 437--449 S. S. Yau and R. C. Cheung Design of self-checking software . . . . 450--457 Algirdas Avi\vzienis Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing . . . . . . . . . . . . . . . 458--464 R. M. Burstall and John Darlington Some transformations for developing recursive programs . . . . . . . . . . . 465--472 Norihisa Suzuki Verifying programs by algebraic and logical reduction . . . . . . . . . . . 473--481 Donald I. Good and Ralph L. London and W. W. Bledsoe An Interactive Program Verification System . . . . . . . . . . . . . . . . . 482--492 John B. Goodenough and Susan L. Gerhart Toward a theory of test data selection 493--510 Hermann Kopetz On the connections between range of variable and control structure testing 511--517 J. R. Brown and M. Lipow Testing for software reliability . . . . 518--527 C. A. R. Hoare Data reliability . . . . . . . . . . . . 528--533 Ralph L. London A view of program verification . . . . . 534--545 Edsger W. Dijkstra Correctness concerns and, among other things, why they are resented . . . . . 546--550
Anthony I. Wasserman Issues in programming language design: an overview . . . . . . . . . . . . . . 10--12 Charles T. Zahn, Jr. Structured control in programming languages . . . . . . . . . . . . . . . 13--15 Barbara H. Liskov Data types and program correctness . . . 16--17 Thomas A. Standish Extensibility in programming language design . . . . . . . . . . . . . . . . . 18--21 Leon Presser Structured languages . . . . . . . . . . 22--24 Jack B. Dennis An example of programming with abstract data types . . . . . . . . . . . . . . . 25--29 John B. Goodenough Exception handling design issues . . . . 41--45 Ben Shneiderman Cognitive psychology and programming language design . . . . . . . . . . . . 46--47
H. Witt Pun-dora's box or how to produce enough papers to wrap up structured programming 10--11 James A. Mason Some user-defined control functions for more readable APL programs . . . . . . . 11--19 A. Salvadori and J. Gordon and C. Capstick Static profile of COBOL programs . . . . 20--33 Gerald M. Weinberg and Dennis P. Geller and Thomas W. S. Plum IF-THEN-ELSE considered harmful . . . . 34--44
Peter J. Denning Comments on mathematical overkill . . . 10--11 Clinton R. Foulk The DO trace: a simple and effective method for debugging GOTO-free programs 11--18 Loren P. Meissner On extending Fortran control structures to facilitate structured programming . . 19--30 Frederick G. Sayward A correctness criterion for CSP parallel programs . . . . . . . . . . . . . . . . 30--38 B. J. MacLennan A note on dynamic arrays in PASCAL . . . 39--40
Reford Bond Free form structured FORTRAN translator 12--15 Lawrence Flon On research in structured programming 16--17 Lawrence E. Gales Structured FORTRAN with no preprocessor 17--24 Robert J. Lambird and Lawrence E. Cornish The EXEC 8 implementation of List Processor-N . . . . . . . . . . . . . . 25--36
Daniel M. Berry Structured documentation . . . . . . . . 7--12 F. P. Coakley Experience with the use of the case statement within a M.O.L. . . . . . . . 13--17 W. H. Dailey A tabular approach to program optimization . . . . . . . . . . . . . . 17--22 Stephen Leibowitz Memory optimization using block structures . . . . . . . . . . . . . . . 22--25 Anthony G. Middleton Connector functions: another view of the GOTO? . . . . . . . . . . . . . . . . . 25--37 M. H. Williams A note on the ambiguity of the \tt COMMON statement . . . . . . . . . . . . 38--40
W. H. Dailey On generating binary decision trees with minimum nodes . . . . . . . . . . . . . 14--21 John B. Holton Toward efficient programming in virtual systems . . . . . . . . . . . . . . . . 22--25 Theodore D. Lassagne Recursive definitions for iterative algorithms . . . . . . . . . . . . . . . 26--38 L. P. Meissner On preprocessors . . . . . . . . . . . . 39 G. Yuval A SNOBOL 4 execution profile . . . . . . 40
Loren P. Meissner Proposed control structures for extended FORTRAN . . . . . . . . . . . . . . . . 16--21 David W. Embley and Wilfred J. Hansen The KAIL selector --- a unified control construct . . . . . . . . . . . . . . . 22--29 Charles Landau On high-level languages for system programming . . . . . . . . . . . . . . 30--31 G. Winiger A note on one-pass \tt CASE statement compilation . . . . . . . . . . . . . . 32--36 N. Wirth Comment on a note on dynamic arrays in PASCAL . . . . . . . . . . . . . . . . . 37--38 Steven Worona PL/CT, another approach to two problems in interactive PL/I . . . . . . . . . . 39--44
Paul W. Abrahams On realism in programming examples . . . 17--19 Harold W. Lawson, Jr. and David R. Doucette A translation machine with automated top-down parsing . . . . . . . . . . . . 20--29 Donald J. Reifer The structured Fortran dilemma . . . . . 30--32
ACM Draft proposed ANS FORTRAN . . . . . . . 1--223 ANSI Subcommittee X3J3 Draft Proposed ANS Fortran . . . . . . . various
Bengt Nordström An outline of a mathematical model for the definition and manipulation of data 1--11 Theodore A. Linden The use of abstract data types to simplify program modifications . . . . . 12--23 Moshe M. Zloof and S. Peter de Jong The System for Business Automation (SBA): Programming language . . . . . . 24--24 Eric Allman and Michael Stonebraker and Gerald Held Embedding a relational data sublanguage in a general purpose programming language . . . . . . . . . . . . . . . . 25--35 Robert T. Johnson and James B. Morris Abstract data types in the Model programming language . . . . . . . . . . 36--46 Dennis J. McLeod High level domain definition in a relational data base system . . . . . . 47--57 Michael Hammer Data abstractions for data bases . . . . 58--59 J. J. Horning Some desirable properties of data abstraction facilities . . . . . . . . . 60--62 Douglas T. Ross Toward foundations for the understanding of type . . . . . . . . . . . . . . . . 63--65 Mary Shaw Research directions in abstract data structures . . . . . . . . . . . . . . . 66--68 Jim Mitchell and Ben Wegbreit A next step in data structuring for programming languages . . . . . . . . . 69--70 John M. Smith and Diane C. P. Smith Data base abstraction . . . . . . . . . 71--71 John Guttag Abstract data types and the development of data structures . . . . . . . . . . . 72--72 J. A. Bubenko, Jr. and S. Berild and E. Lindencrona-Ohlin and S. Nachmens From information requirements to DBTG-data structures . . . . . . . . . . 73--85 W. T. Hardgrave A technique for implementing a set processor . . . . . . . . . . . . . . . 86--94 Richard B. Kieburtz Programming without pointer variables 95--107 Oscar Vallarino On the use of bit maps for multiple key retrieval . . . . . . . . . . . . . . . 108--114 D. M. Berry and Z. Erlich and C. J. Lucena Correctness of data representations (Extended Abstract): Pointers in high level languages . . . . . . . . . . . . 115--119 David Gries and Narain Gehani Some ideas on data types in high level languages . . . . . . . . . . . . . . . 120--120 Michael E. Senko DIAM II: The binary infological level and its database language --- FORAL . . 121--140 L. Flon and A. N. Habermann Towards the construction of verifiable software systems . . . . . . . . . . . . 141--148 D. L. Parnas and John E. Shore and David Weiss Abstract types defined as classes of variables . . . . . . . . . . . . . . . 149--154 Barron C. Housel and Nan C. Shu A high-level data manipulation language for hierarchical data structures . . . . 155--169 Mark B. Wells and Fred L. Cornwell A data type encapsulation scheme utilizing base language operators . . . 170--178 Cornelis H. A. Koster Visibility and types . . . . . . . . . . 179--190
Walter Gorman and Michael Broussard Minicomputer programming languages . . . 4--15 Anthony I. Wasserman and David D. Sherertz A balanced view of MUMPS . . . . . . . . 16--26 Robert D. Russell Experience in the design, implementation and use of PL-11, a programming language for the PDP-11 . . . . . . . . . . . . . 27--34 Steven S. Herrick Experiences moving COBOL onto a minicomputer . . . . . . . . . . . . . . 35--39 Gordon Bennett-Novak Optimized machine-independent extended FORTRAN for minicomputer programming . . 40--44 Gearold R. Johnson and Robert A. Mueller The automated generation of cross-system software for supporting micro/mini computer systems . . . . . . . . . . . . 45--56 Christine L. Braun An integrated microprocessor support software system . . . . . . . . . . . . 57--65 M. W. Blake-Knox and G. C. Morris Minicomputer software development using a maxicomputer . . . . . . . . . . . . . 66--69 S. Ron Oliver and Nell D. Jones Program control via transition matrices --- a novel application of micro-programming . . . . . . . . . . . 70--77 Mary S. Adix and Henrik A. Schutz Interpretive execution of real-time control applications . . . . . . . . . . 78--87 Ted Cary Structuring BASIC programs for managing overlays in a small computer system . . 88--93 Daniel W. Lozier Numerical applications of minicomputers at the National Bureau of Standards . . 94--101 J. C. Nash Experiences in the development of mathematical software for small computers . . . . . . . . . . . . . . . 102--102 W. D. Maurer Proving the correctness of a flight-director program for an airborne minicomputer . . . . . . . . . . . . . . 103--108 D. D. Cowan and P. H. Dirksen and J. W. Graham and J. W. Welch Development of educational software using the DEC PDP-11 . . . . . . . . . . 109--112 Christopher Vickery A microprogramming design laboratory . . 113--117 Thomas Schreier ETOS: multi-lingual Time Sharing System for the PDP8 . . . . . . . . . . . . . . 118--118 David L. Fulton and Richard T. Thomas ABACUS/X an incremental compiler for minicomputer use . . . . . . . . . . . . 119--126 R. B. Kieburtz and J. L. Hennessy TOMAL: a high-level programming language for microprocessor process control applications . . . . . . . . . . . . . . 127--134 P. J. Plauger A Little Implementation Language . . . . 135--137 A. Ian Stocks and Jayant Krishnaswamy On a transportable high level language for minicomputers . . . . . . . . . . . 138--143 Thomas Stuart Adapting large systems to small machines 144--150 William M. McKeeman Corporate integration through systems software . . . . . . . . . . . . . . . . 151--155 William J. Lennon and Eric L. Baatz and Sandra L. Colussi and Kenneth E. Kinnear, Jr. Using a distributed mini-computer network to automate a biochemical laboratory . . . . . . . . . . . . . . . 156--164
Reford Bond An intuitive translation technique . . . 33--36 O. Buchegger and N. E. Fuchs If `ELSE' then `CASE' . . . . . . . . . 37--37 James L. Elshoff Measuring commercial PL/I programs using Halstead's criteria . . . . . . . . . . 38--46 Richard Hamlet The PDP-11 as B5500 in teaching systems programming . . . . . . . . . . . . . . 47--52 W. T. Hardgrave Positional versus keyword parameter communication in programming languages 52--58 Jacob Palme New feature for module protection in SIMULA . . . . . . . . . . . . . . . . . 59--62 J. Steensgaard-Madsen More on dynamic arrays in PASCAL . . . . 63--64 Andrew S. Tanenbaum In defense of program testing or correctness proofs considered harmful 64--68
Gregory F. Pfister A high level language extension for creating and controlling dynamic pictures . . . . . . . . . . . . . . . . 1--9 Guenther Schrack Design, implementation and experiences with a higher-level graphics language for interactive computer-aided design purposes . . . . . . . . . . . . . . . . 10--17 Ben Jones An extended Algol-60 for Shaded Computer Graphics . . . . . . . . . . . . . . . . 18--23 Scott B. Guthery DDA: An interactive and extensible language for data display and analysis 24--31 Caroline Wardle ARTSPEAK: A graphics language for artists . . . . . . . . . . . . . . . . 32--39 Mark P. Kriger SUGAR: A high-level programming language for geographical analysis and mapping 40--48 James D. Foley Picture naming and modification: An overview . . . . . . . . . . . . . . . . 49--53 Elaine L. Thomas Methods for specifying display parameters in graphics programming languages . . . . . . . . . . . . . . . 54--56 R. Daniel Bergeron Picture primitives in device independent graphics systems . . . . . . . . . . . . 57--60 Victor L. Wallace The semantics of graphic input devices 61--65 H. Leiberman The TV turtle, a Logo graphics system for raster displays . . . . . . . . . . 66--72 Henry Lieberman The TV Turtle: a Logo graphics system for raster displays . . . . . . . . . . 66--72 Lou Katz and Bill Etra A preliminary step towards a language for picture control in a real-time mode 73--76 T. A. DeFanti and D. J. Sandin and R. A. Ainsworth Control structures for performance graphics . . . . . . . . . . . . . . . . 79--84 Uday G. Gujar A device independent computer plotting system . . . . . . . . . . . . . . . . . 85--100 Michael T. Garrett An interpretive/interactive subroutine system for raster graphics . . . . . . . 101--105 P. Shen-Pei Wang and W. I. Grosky A language for two-dimensional digital picture processing . . . . . . . . . . . 106--112 Patrick Shen-Pei Wang and William I. Grosky A language for two-dimensional digital picture processing . . . . . . . . . . . 106--112 Gregory J. Suski Automatic generation of computer graphics languages . . . . . . . . . . . 113--122 Travis L. Herring On the design and use of graphics-oriented continuous system simulation languages (CSSL) . . . . . . 123--128
Julius A. Archibald, Jr. Towards a dynamic (FORTRAN) programming system . . . . . . . . . . . . . . . . . 17--24 Dennis Allison Design notes for TINY BASIC . . . . . . 25--33 Richard K. Bennett BUILD: a primitive approach to the design of computer languages and their translators . . . . . . . . . . . . . . 34--40 Robert E. Brown Toward a better language for structured programming . . . . . . . . . . . . . . 41--54 Ronnie G. Ward A non-iterative situation case statement 55--62 M. H. Williams A question-answering system for automatic program synthesis . . . . . . 63--68
Melvyn Feurman and Mary R. Dallal and Lillian Liebling Structured programming in COBOL under IBM 360/370 OS . . . . . . . . . . . . . 16--30 C. Wrandle Barth STRCMACS: an extensive set of macros to aid in structured programming in 360/370 assembly language . . . . . . . . . . . 31--35 David Matuszek The case for the assert statement . . . 36--37 Giorgio Misuri Survey of existing programming aids . . 38--41 S. Matwin and M. Missala A simple, machine independent tool for obtaining rough measures of PASCAL programs . . . . . . . . . . . . . . . . 42--45 C. L. McClure Ordering control data in structured COBOL . . . . . . . . . . . . . . . . . 46--51
R. F. Bridge and E. W. Thompson Bridges: a tool for increasing the reliability of references to Fortran variables . . . . . . . . . . . . . . . 2--9 A. James Cook Experience with extensible, portable Fortran extensions . . . . . . . . . . . 10--17 Guenter Musstoph The programming system POLYP: structure and experience . . . . . . . . . . . . . 18--24 Mark B. Wells Preprocessing of typed two-dimensional mathematical expressions . . . . . . . . 25--37 J. D. Wolley and L. R. Miller and C. M. Bernstein Linus: an experiment in language preprocessing . . . . . . . . . . . . . 38--48 John D. Woolley and Leland R. Miller and Charles M. Bernstein LINUS: an experiment in language preprocessing . . . . . . . . . . . . . 38--48
R. A. DeMillo and S. C. Eisenstat and R. J. Lipton Can structured programs be efficient? 10--18 J. L. W. Kessels Parallel programming concepts in a definitional language . . . . . . . . . 19--31 E. N. Kittlitz Block statements and synonyms for PASCAL 32--35 Sergei Pokrovsky Formal types and their application to dynamic arrays in PASCAL . . . . . . . . 36--42 Stuart W. Rowland Some Comments on Structured FORTRAN . . 43--48 Janos Simon A comment on DO Traces . . . . . . . . . 49--52
Reidar Conradi `Further critical comments on PASCAL, particularly as a systems programming language' . . . . . . . . . . . . . . . 8--25 Ross W. Goodell A generalized approach to interpretation machines . . . . . . . . . . . . . . . . 26--37 A. C. Fleck On the impossibility of content exchange through the by-name parameter transmission mechanism . . . . . . . . . 38--41 L. T. Love and A. B. Bowman An independent test of the theory of software physics . . . . . . . . . . . . 42--49 C. D. Marlin An experiment with the extensibility of SIMULA . . . . . . . . . . . . . . . . . 50--57 Patrick Roy and Richard St-Denis Linear flowchart generator for a structured language . . . . . . . . . . 58--64
R. Conway PL/CS: a highly-disciplined subset of PL/C . . . . . . . . . . . . . . . . . . 21--24 S. I. Feldman A Fortranner's Lament: Comments on the draft proposed ANS FORTRAN standard . . 25--34 Allan Gottlieb A flowcharting proposal . . . . . . . . 35--37 Lars Kahn Program structure definition using binary relations . . . . . . . . . . . . 38--55 Alan R. Korncoff and Charles H. Goodspeed SAGES: System Aiding the Generation of Engineering Software . . . . . . . . . . 56--73 William C. Nylin, Jr. and John B. Harvill Multiple tense computer programming . . 74--93 D. Schwabe and C. J. Lucena Specification and uniform reference to data structures in PL/1 . . . . . . . . 94--104 Daniel Sehwabe and Carlos J. Lucena Specification and uniform reference to data structures in PL/I . . . . . . . . 94--104
R. J. Chevance Design of high level language oriented processors . . . . . . . . . . . . . . . 40--51 R. M. De Morgan and I. D. Hill and B. A. Wichmann A supplement to the ALGOL 60 revised report . . . . . . . . . . . . . . . . . 52--66 Michael B. Feldman Embedding extended arithmetic in SNOBOL4 67--72 Edward N. Kittlitz Another proposal for variable size arrays in PASCAL . . . . . . . . . . . . 82--86 Peter Ludemann A language design for program structure 87--92 L. P. Meissner FORTRAN 77 . . . . . . . . . . . . . . . 93--94 David Salomon A design for Fortran to facilitate structured programming . . . . . . . . . 95--100
B. W. Lampson and J. J. Horning and R. L. London and J. G. Mitchell and G. J. Popek Report on the programming language Euclid . . . . . . . . . . . . . . . . . 1--77
Allen L. Ambler and Donald I. Good and James C. Browne and Wilhelm F. Burger and Richard M. Cohen and Charles G. Hoch and Robert E. Wells Gypsy: A language for specification and implementation of verifiable programs 1--10 G. J. Popek and J. J. Horning and B. W. Lampson and J. G. Mitchell and R. L. London Notes on the design of Euclid . . . . . 11--18 Charles N. Fischer and Richard J. LeBlanc Efficient implementation and optimization of run-time checking in PASCAL . . . . . . . . . . . . . . . . . 19--24 Allen L. Ambler and Charles G. Hoch A study of protection in programming languages . . . . . . . . . . . . . . . 25--40 Daniel P. Friedman and David S. Wise Aspects of applicative programming for file systems (Preliminary Version) . . . 41--55 Robert G. Herriot Towards the ideal programming language 56--62 Jhon V. Guttag and Ellis Horowitz and David R. Musser Some extensions to algebraic specifications . . . . . . . . . . . . . 63--67 Normand Buckle Restricted data types, specification and enforcement of invariant properties of variables . . . . . . . . . . . . . . . 68--76 Patrick Causot and Radhia Cousot Static determination of dynamic properties of generalized type unions 77--94 P. Cousot and R. Cousot Static determination of dynamic properties of generalized type unions 77--94 P. M. Melliar-Smith and B. Randell Software reliability: The role of programmed exception handling . . . . . 95--100 M. Donald MacLaren Exception handling in PL/I . . . . . . . 101--104 Tom Love An experimental investigation of the effect of program structure on program understanding . . . . . . . . . . . . . 105--113 Gregory R. Andrews and James R. McGraw Language features for process interaction . . . . . . . . . . . . . . 114--127 D. B. Lomet Process structuring, synchronization, and recovery using atomic actions . . . 128--137 Charles M. Geschke and James H. Morris, Jr. and Edwin H. Satterthwaite Early experience with Mesa . . . . . . . 138--138 Mary Shaw and Wm A. Wulf and Ralph L. London Abstraction and verification in Alphard: Defining and specifying iteration and generators . . . . . . . . . . . . . . . 139--139 Barbara Liskov and Alan Snyder and Russell Atkinson and Craig Schaffert Abstraction mechanisms in CLU . . . . . 140--140 J. D. Gannon An experimental evaluation of data types on programming reliability . . . . . . . 141--141 N. Wirth Towards a discipline of real-time programming . . . . . . . . . . . . . . 142--142
Anonymous Fortran Development Newsletter: Volume 3, Number 1, January 1977, pp. 1--10: X3J3 Expects to Complete Fortran 77 Revised at March Meeting . . . . . . . . 21--30 Albrecht Biedl An extension of programming languages for clerical computation in science and engineering with special reference to PASCAL . . . . . . . . . . . . . . . . . 31--33 David E. Boddy Structured Fortran: with or without a preprocessor . . . . . . . . . . . . . . 34--39 Ralph E. Griswold and David R. Hanson An overview of SL5 . . . . . . . . . . . 40--50 Richard Hamlet Ignorance of ALGOL 68 considered harmful 51--56 Edward T. Hartnett Star Fortran: an overview of essential characteristics . . . . . . . . . . . . 57--66 M. Huybrechts DYNOSOR: a set of subroutines for dynamic memory organization in Fortran programs . . . . . . . . . . . . . . . . 67--74 Tony Middleton A macro approach to abstractions of data structures . . . . . . . . . . . . . . . 75--79 S. K. Robinson and I. S. Torsun The automatic measurement of the relative merits of student programs . . 80--93 Anders Beckman Comments considered harmful . . . . . . 94--96
A. van Wijngaarden and B. J. Mailloux and J. E. L. Peck and Koster and C. H. A. and M. Sintzoff and C. H. Lindsey and L. G. L. T. Meertens and R. G. Fisker Revised report on the algorithmic language ALGOL 68 . . . . . . . . . . . 1--70 P. G. Hibbard A sublanguage of ALGOL 68 . . . . . . . 71--79 W. J. Hansen and H. Boom The report on the standard hardware representation for ALGOL 68 . . . . . . 80--87
S. G. van der Meulen ALGOL 68 might-have-beens . . . . . . . 1--18 P. G. Craven Derivatives without tears in Algol 68 19--26 D. F. Brailsford and E. Foxley and K. C. Mander and D. J. Morgan Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP . . . . 27--35 M. A. Hennell and D. Hedley and M. R. Woodward Quantifying the test effectiveness of Algol 68 programs . . . . . . . . . . . 36--41 Péter Szöke Some remarks on new instances and garbage collection . . . . . . . . . . . 42--48 R. B. Hunter and A. D. McGettrick and R. Patel LL versus LR parsing with illustrations from ALGOL 68 . . . . . . . . . . . . . 49--53 Frank G. Pagan ALGOL 68 as an implementation language for portable interpreters . . . . . . . 54--62 C. F. Vansina Description of dynamic manipulation of ALGOL 68 values using a generative grammar . . . . . . . . . . . . . . . . 63--70 J. C. van Vliet Towards a machine-independent transput section . . . . . . . . . . . . . . . . 71--77 Dick Grune Towards the design of a super-language of ALGOL 68 for the Standard Prelude (Excerpt) . . . . . . . . . . . . . . . 78--81 Andrew D. Birrell Storage management for ALGOL 68 . . . . 82--94 P. J. Gardner A transportation of ALGOL 68C . . . . . 95--101 Wilfried Koch and Christoph Oeters The Berlin ALGOL 68 implementation . . . 102--108 Daniel Taupin The ALGOL 68 compiler of Paris-XI University (Orsay) . . . . . . . . . . . 109--116 Bernard Houssais Verification of an Algol 68 implementation . . . . . . . . . . . . . 117--128 M. Simonet An attribute description of a subset of Algol 68 . . . . . . . . . . . . . . . . 129--137 A. Prudom and M. A. Hennell Some problems concerning the automatic translation of Fortran to Algol 68 . . . 138--143 R. J. W. Housden and N. Kotarski Character string pattern matching in Algol 68 . . . . . . . . . . . . . . . . 144--152 M. W. Bennett Implementation of a PDP11/ICL1900 cross assembler in Algol 68R . . . . . . . . . 153--156 Bryan Ratcliff ALGOL 68 and structured programming for learner-programmers . . . . . . . . . . 157--160 J. M. Foster and P. D. Foster Abstract data and functors . . . . . . . 161--167 I. C. Braid and R. C. Hillyard Geometric modelling in ALGOL 68 . . . . 168--174 P. R. West A Multi Radar Tracking simulation using ALGOL 68'R . . . . . . . . . . . . . . . 175--178 V. J. Rayward-Smith Using procedures in list processing . . 179--183 Roy Edwards Is Pascal a logical subset of Algol 68 or not? Part One . . . . . . . . . . . . 184--191
R. A. Freiburghouse Proposed extensions to PL/I for real-time applications . . . . . . . . . 26--42 George Atkinson The non-desirability of structured programming in user languages . . . . . 43--50 Richard J. Cichelli and Martha J. Cichelli Goal directed programming . . . . . . . 51--59 Piotr Dembinski and Richard Schwartz The taming of the pointer . . . . . . . 60--74 Dick Grune A view of coroutines . . . . . . . . . . 75--81 Jon Hueras and Henry Ledgard An automatic formatting program for PASCAL . . . . . . . . . . . . . . . . . 82--84 Peter Karasz An intermediate systems language for the PDP-11 . . . . . . . . . . . . . . . . . 85--100 Henry Ledgard and Andrew Singer and Jon Hueras A basis for executing PASCAL programmers 101--105 C. M. Thomson Error checking, tracing, and dumping in an ALGOL 68 checkout compiler . . . . . 106--111 John D. Woolley FORTRAN: A Comparison of the New Proposed Language (1976) to the Old Standard (1966) . . . . . . . . . . . . 112--125 Michael R. Levy Some remarks on abstract data types . . 126--128
Patrick Cousot and Radhia Cousot Automatic synthesis of optimal invariant assertions: Mathematical foundations . . 1--12 Lawrence Yelowitz and Arthur G. Duncan Abstractions, instantiations, and proofs of marking algorithms . . . . . . . . . 13--21 John Wade Ulrich and Robert Moll Program synthesis by analogy . . . . . . 22--28 Zohar Manna and Richard Waldinger The automatic synthesis of recursive programs . . . . . . . . . . . . . . . . 29--36 Michael D. Rychener Control requirements for the design of production system architectures . . . . 37--44 Randall Davis Generalized procedure calling and content-directed invocation . . . . . . 45--54 Henry C. Baker, Jr. and Carl Hewitt The incremental garbage collection of processes . . . . . . . . . . . . . . . 55--59 Guy Lewis Steele, Jr. Macaroni is better than spaghetti (stack implementation) . . . . . . . . . . . . 60--66 Larry Travis and Masahiro Honda and Richard LeBlanc and Stephen Zeigler Design rationale for TELOS, a PASCAL-based AI language . . . . . . . . 67--76 David Wile and Robert Balzer and Neil Goldman Automated derivation of program control structure from natural language program descriptions . . . . . . . . . . . . . . 77--84 Jerry R. Hobbs What the nature of natural language tells us about how to make natural-language-like programming languages more natural . . . . . . . . . 85--93 Ralph E. Griswold and David R. Hanson Language facilities for programmable backtracking . . . . . . . . . . . . . . 94--99 H. P. Böhm and H. L. Fischer and P. Raulefs CSSA: Language concepts and programming methodology . . . . . . . . . . . . . . 100--108 David H. D. Warren and Luis M. Pereira and Fernando C. N. Pereira Prolog: The Language and Its Implementation Compared with Lisp . . . 109--115 Johan de Kleer and Jon Doyle and Guy L. Steele, Jr. and Gerald Jay Sussman AMORD explicit control of reasoning . . 116--125 Christopher W. Fraser A knowledge-based code generator generator . . . . . . . . . . . . . . . 126--129 Brian P. McCune The PSI Program Model Builder --- synthesis of very high-level programs 130--139 Elaine Kant The selection of efficient implementations for a high-level language . . . . . . . . . . . . . . . . 140--146 Stanley J. Rosenschein and Shmuel M. Katz Selection of representations for data structures . . . . . . . . . . . . . . . 147--154 Hanan Samet A normal form for compiler testing . . . 155--162 D. F. Kibler and J. M. Neighbors and T. A. Standish Program manipulation via an efficient production system . . . . . . . . . . . 163--173 Philippe Chatelin Self-redefinition as a program manipulation strategy . . . . . . . . . 174--179
R. D. Dowsing Structured programming constructs for concurrency in program optimisation . . 31--35 Roy F. Keller On control constructs for constructing programs . . . . . . . . . . . . . . . . 36--44 Menachem Malkosh Internal procedure parameters in structured FORTRAN precompilers . . . . 45--51 Peter Rechenberg MUMS: a machine independent programming language consisting of 360 assembler macro calls . . . . . . . . . . . . . . 52--59 Frederic N. Ris A unified decimal floating-point architecture for the support of high-level languages . . . . . . . . . . 60--70 Paul Rutter Uniform handling of exceptions in a stack based language . . . . . . . . . . 71--76 Stefan M. Silverston Extensions to SNOBOL4 in the SNOBAT implementation . . . . . . . . . . . . . 77--84 David N. Smith Proposals for Fortran data structures 85--102 Nobuyoshi Terashima The hierarchical language system . . . . 103--113 Robert W. Witty The switching reverse Polish algorithm 114--123 Michiaki Yasumura Evolution of loop statements . . . . . . 124--129 R. A. Fraley On replacing Fortran . . . . . . . . . . 130--132
R. J. Chevance Design of high level language oriented processors . . . . . . . . . . . . . . . 10--32 Stephen Leibowitz Interactive computing . . . . . . . . . 33--36 Mila E. . Majster Limits of the ``algebraic'' specification of abstract data types . . 37--42 Tony Middleton Specifying program structure through sequence relationships . . . . . . . . . 43--47 Jean E. Musinski Lookahead recall error recovery for LALR parsers . . . . . . . . . . . . . . . . 48--60 Glenford J. Myers An extension to the cyclomatic measure of program complexity . . . . . . . . . 61--64 Michael D. Shapiro Fortran 77 input-output seems out of touch . . . . . . . . . . . . . . . . . 65--69 Stefan M. Silverston A note on pattern matching under Quickscan in SNOBOL4 . . . . . . . . . . 70--74 Alan Filipski Call by restricted memory reference . . 75--77 George E. Lindamood What's in a name? . . . . . . . . . . . 78--80
D. Bates and R. Cailliau Experience with Pascal compilers on mini-computers . . . . . . . . . . . . . 10--22 Michael N. Condict The Pascal dynamic array controversy and a method for enforcing global assertions 23--27 D. R. Ditzel and P. C. Hutchison MASK and FORMAT: operators for editing and formatting . . . . . . . . . . . . . 28--35 C. H. Lindsey Structure charts --- a structured alternative to flowcharts . . . . . . . 36--49 T. Radhakrishnan and I. A. Syed Towards a programming language for the implementation of information storage and retrieval systems . . . . . . . . . 50--54 Arthur Sedgwick Structuring control in Fortran . . . . . 55--60 Guy L. Steele, Jr. Arithmetic shifting considered harmful 61--69 Thomas R. Wilcox Aspen language specifications . . . . . 70--87
Makoto Arisawa Programming languages with hierarchical structure . . . . . . . . . . . . . . . 36--38 Anonymous Department of Defense requirements for high order computer programming languages. Revised `IRONMAN' July, 1977. The technical requirements . . . . . . . 39--54 Harvey Abramson Ordered types and a generalized \underlinefor statement . . . . . . . . 55--59 Walt Brainerd A proposal for a Fortran loop construct 60--67 G. Chroust Scope conserving expression evaluation: a class of storage optimal evaluation strategies for arithmetic expressions 68--72 Frederic Richard and Henry F. Ledgard A reminder for language designers . . . 73--82 James L. Peterson On the formatting of Pascal programs . . 83--86 M. G. Richardson The use of names to indicate the scope of structured language constructs . . . 87--87
Oddur Benediktsson Notes on argument-parameter association in Fortran . . . . . . . . . . . . . . . 16--20 D. Brand A note on data abstractions . . . . . . 21--24 Anonymous Parallelism, control and synchronization expression in a single assignment language . . . . . . . . . . . . . . . . 25--33 D. Comte and G. Durrieu and O. Gelly and A. Plas and J. C. Syre Parallelism, control and synchronization expression in a single assignment language . . . . . . . . . . . . . . . . 25--33 O. Ferstl Flowcharting by stepwise refinement . . 34--42 J. Ceorges and F. Heymans On parametric array expressions . . . . 43--47 J. Georges and F. Heymans On parametric array expressions . . . . 43--47 M. Iglewski and J. Madey and S. Matwin A contribution to an improvement of Pascal . . . . . . . . . . . . . . . . . 48--58 A. J. Payne A formalised technique for expressing compiler exercisers . . . . . . . . . . 59--69 David B. Wortman A rooster of XPL implementations . . . . 70--74
W. A. Whitaker The US Department of Defense common higher order language effort . . . . . . 19--29 James L. Elshoff An investigation into the effects of the counting method used on software science measurements . . . . . . . . . . . . . . 30--45 Phil Grouse ``Flowblocks'' --- a technique for structured programming . . . . . . . . . 46--56 Gary J. Nutt A comparison of PASCAL and FORTRAN as introductory programming languages . . . 57--62 David C. Pflasterer An approach to efficient, fault tolerant programming . . . . . . . . . . . . . . 63--70 D. Wood A bibliography of top-down deterministic parsing . . . . . . . . . . . . . . . . 71--76
Anonymous News of past events . . . . . . . . . . 9--10 Robert L. Glass Patching is alive and, lamentably, thriving in the real-time world . . . . 25--28 Wilfred J. Hansen Measurement of program complexity by the pair: (Cyclomatic Number, Operator Count) . . . . . . . . . . . . . . . . . 29--33 Ernest Chang and Neil E. Kaden and W. David Elliott Abstract data types in Euclid . . . . . 34--42 Edward G. Aseltine and Henry Spencer Isolation of machine dependencies in Euclid . . . . . . . . . . . . . . . . . 43--48 Jim des Rivieres and Henry Spencer Readability and writability in Euclid 49--56 Ted Venema and Jim des Rivieres Euclid and Pascal . . . . . . . . . . . 57--69 David T. Barnard and W. David Elliott and David H. Thompson Euclid and Modula . . . . . . . . . . . 70--84 W. David Elliott Index to the Euclid report . . . . . . . 85--89 Robert G. Estell A chapter in the history of DOD-1 . . . 90--92
Forest Baskett The best simple code generation technique for \tt WHILE, \tt FOR, and \tt DO loops . . . . . . . . . . . . . . 31--32 John C. Burda The translation of Boolean: expressions into optimal transfer logic code for the OLIVER data base management system compiler . . . . . . . . . . . . . . . . 33--43 R. J. Chevance and T. Heidet Static profile and dynamic behavior of COBOL programs . . . . . . . . . . . . . 44--57 Mitchell H. Clifton A technique for making structured programs more readable . . . . . . . . . 58--63 Douglas W. Jones A note on some limits of the algebraic specification method . . . . . . . . . . 64--67 Tom Jacobsen Another view of coroutines . . . . . . . 68--75 William Slater and Howard Modell Structured programming considered harmful . . . . . . . . . . . . . . . . 76--79 P. A. Subrahmanyam On a finite axiomatization of the data type L . . . . . . . . . . . . . . . . . 80--84 J. V. Peschke Comment on a paper of R. A. Freiburghouse . . . . . . . . . . . . . 85--88
Richard L. Wexelblat and Debra D. Child New books . . . . . . . . . . . . . . . 7--8 G. J. Battarel and R. J. Chevance Requirements for a safe PL/1 implementation . . . . . . . . . . . . . 12--22 Jean Bezivin and Jean-Louis Nebut and Robert Rannou Another view of coroutines . . . . . . . 23--35 Ned Chapin and Susan P. Denniston Characteristics of a structured program 36--45 D. R. Ditzel Pattern matching for high level languages . . . . . . . . . . . . . . . 46--55 Michael B. Feldman Embedding sparse matrix operations in SNOBOL4 . . . . . . . . . . . . . . . . 56--64 R. C. Holt and G. S. Graham and E. D. Lazowska and M. A. Scott Announcing CONCURRENT SP/k . . . . . . . 65--68
Glen B. Alleman Parameter validation for software reliability . . . . . . . . . . . . . . 18--28 James L. Elshoff A study of the structural composition of PL/I programs . . . . . . . . . . . . . 29--37 Janusz Górski Sticky variables and memory optimization 38--48 Victor Schneider Prediction of software effort and project duration: four new formulas . . 49--59
R. L. Wexelblat and Debbie Child New books . . . . . . . . . . . . . . . 14--17 Lloyd Allison On nondeterministic control structures 18--20 Edsger W. Dijkstra DoD-I: the summing up . . . . . . . . . 21--26 B. Ford Parameterisation of the environment for transportable numerical software . . . . 27--30 Brian Lewis Further comments on ``A view of coroutines'' . . . . . . . . . . . . . . 31--33 Patricia R. Mohilner Prettyprinting PASCAL programs . . . . . 34--40 Rodney Parkin On the use of keywords for passing procedure parameters . . . . . . . . . . 41--42 Stef. W. Postma FEA: a formal English subset for Algebra/Assertions . . . . . . . . . . . 43--59
David Gries ACM SIGPLAN history of programming languages conference ALGOL 60 language summary . . . . . . . . . . . . . . . . 1--1 Alan J. Perlis The American side of the development of Algol . . . . . . . . . . . . . . . . . 3--14 Peter Naur The European side of the last phase of the development of ALGOL 60 . . . . . . 15--44 Anonymous APL language summary . . . . . . . . . . 45--45 Adin D. Falkoff and Kenneth E. Iverson The evolution of APL . . . . . . . . . . 47--57 Anonymous ACM SIGPLAN history of programming languages conference APT language summary . . . . . . . . . . . . . . . . 59--60 Douglas T. Ross Origins of the APT language for automatically programmed tools . . . . . 61--99 Ted G. Lewis ACM SIGPLAN history of programming languages conference BASIC language summary . . . . . . . . . . . . . . . . 101--102 Thomas E. Kurtz BASIC . . . . . . . . . . . . . . . . . 103--118 Anonymous ACM SIGPLAN history of programming languages conference COBOL 60 language summary . . . . . . . . . . . . . . . . 119--119 Jean E. Sammet The early history of COBOL . . . . . . . 121--161 Bernard A. Galler The FORTRAN Language . . . . . . . . . . 163--164 John Backus The History of FORTRAN I, II, and III 165--180 Anonymous ACM SIGPLAN history of programming languages conference GPSS language summary . . . . . . . . . . . . . . . . 181--182 Geoffrey Gordon The development of the General Purpose Simulation System (GPSS) . . . . . . . . 183--198 Charles L. Baker ACM SIGPLAN history of programming languages conference JOSS language summary . . . . . . . . . . . . . . . . 199--200 T. E. Cheatham, Jr. A brief description of JOVIAL . . . . . 201--202 Jules I. Schwartz The development of JOVIAL . . . . . . . 203--214 John McCarthy A micro-manual for LISP --- not the whole truth . . . . . . . . . . . . . . 215--216 John McCarthy History of LISP . . . . . . . . . . . . 217--223 Robert F. Rosin ACM SIGPLAN history of programming languages conference PL/I language summary . . . . . . . . . . . . . . . . 225--226 George Radin The early history and characteristics of PL/I . . . . . . . . . . . . . . . . . . 227--241 W. R. Franta ACM SIGPLAN history of programming languages conference SIMULA language summary . . . . . . . . . . . . . . . . 243--244 Kristen Nygaard and Ole-Johan Dahl The development of the SIMULA languages 245--272 Michael D. Shapiro ACM SIGPLAN history of programming languages conference SNOBOL language summary . . . . . . . . . . . . . . . . 273--274 Ralph E. Griswold A history of the SNOBOL programming languages . . . . . . . . . . . . . . . 275--308 R. L. Wexelblat Afterword . . . . . . . . . . . . . . . 309--310
Paul W. Abrahams Two programming problems . . . . . . . . 28--29 Richard J. LeBlanc Extensions to PASCAL for separate compilation . . . . . . . . . . . . . . 30--33 W. D. Maurer Register type bits --- a proposal for efficient instruction repertoire extension . . . . . . . . . . . . . . . 34--35 Mary Shaw and Paul Hilfinger and Wm. A. Wulf Language design for the Ironman requirement: reference manual . . . . . 36--58 M. Shaw and P. Hilfinger and W. A. Wulf TARTAN-language design for the Ironman requirement: reference manual . . . . . 36--58 Mary Shaw and Paul Hilfinger and Wm. A. Wulf Language design for the Ironman requirement: notes and examples . . . . 59--75 M. Shaw and P. Hilfinger and W. A. Wulf TARTAN-language design for the Ironman requirement: notes and examples . . . . 59--75 E. Skordalakis and G. Papakonstantinou Coroutines in FORTRAN . . . . . . . . . 76--84
E. W. Dijkstra On the BLUE language submitted to the DoD . . . . . . . . . . . . . . . . . . 10--15 E. W. Dijkstra On the GREEN language submitted to the DoD . . . . . . . . . . . . . . . . . . 16--21 E. W. Dijkstra On the YELLOW language submitted to the DoD . . . . . . . . . . . . . . . . . . 22--26 E. W. Dijkstra On the RED language submitted to the DoD 27--32 John S. James FORTH for microcomputers . . . . . . . . 33--39 George E. Lindamood Some delitescent concepts in computer architecture . . . . . . . . . . . . . . 40--41 Jed Marti The META/REDUCE Translator Writing System . . . . . . . . . . . . . . . . . 42--49 Linda Zucconi A comment on Chapin's and Denniston's `Characteristics of a structured program' . . . . . . . . . . . . . . . . 50--51
R. L. Wexelblat New books III . . . . . . . . . . . . . 8--10 John E. Crider Structured formatting of Pascal programs 15--22 Irving B. Elliott Optimization of the compiling of subscripted array references . . . . . . 23--29 T. A. Kovats Program readability. Closing keywords and prefix-style intermediate keywords 30--42 David C. Pflasterer The CAMIL programming language . . . . . 43--55 Jean E. Sammet Roster of programming languages for 1976--77 . . . . . . . . . . . . . . . . 56--85
F. L. Bauer and M. Broy and R. Gnatz and W. Hesse and B. Krieg-Brückner and H. Partsch and P. Pepper and H. Wössner Towards a wide spectrum language to support program specification and program development . . . . . . . . . . 15--24 B. D. Chaudhary and H. V. Sahasrabuddhe Suggestions about a specification technique (program) . . . . . . . . . . 25--28 James L. Elshoff and Michael Marcotty On the use of the cyclomatic number to measure program complexity . . . . . . . 29--40 P. E. Lauer and M. W. Shields Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts (programming theory) . . . . . . . . . . 41--59 Peter L. Montgomery Evaluation of Boolean expressions on one's complement machines . . . . . . . 60--72 R. A. Nelson XL: a language structure . . . . . . . . 73--87 V. Sinha and K. Vinod Kumar Efficient evaluation of Boolean expressions . . . . . . . . . . . . . . 88--97 Richard L. Sites Programming tools: statement counts and procedure timings . . . . . . . . . . . 98--101 Peter Wegner Supporting a flourishing language culture . . . . . . . . . . . . . . . . 102--104
Makoto Arisawa and Minoru Iuchi Fortran $+$ preprocessor $=$ Utopia 84 12--15 J. Ciesinger A bibliography of error-handling . . . . 16--26 J. G. Hunt Messages in typed languages . . . . . . 27--45 Wilf R. LaLonde A finite state approach to operator classification . . . . . . . . . . . . . 46--54 James R. Low A short note on scanning signed integers 55--56 John R. Metzner A graded bibliography on macro systems and extensible languages . . . . . . . . 57--68 R. Moya and I. Ramos SP-grammars (context-free grammars for structured programming) . . . . . . . . 69--76 James M. Sakoda DYSTAL 2: a general purpose extension of FORTRAN . . . . . . . . . . . . . . . . 77--90 Ian Sommerville S-SNOBOL: structured SNOBOL4 . . . . . . 91--99 Kuo-Chung Tai On the implementation of parsing tables 100--101 R. C. Backhouse and S. Anderson Least-cost repair of syntax errors . . . 102--104
Robert G. Clark Interactive input in PASCAL . . . . . . 9--13 Irving B. Elliott DLP: a design language pre-processor . . 14--20 Glenn A. Jackson Two-dimensional grammars and structured programming languages . . . . . . . . . 21--28 Rob Kling and Walter Scacchi The DoD common high order programming language effort (DoD-1): What will the impacts be? . . . . . . . . . . . . . . 29--43 Barry K. Rosen Stickiness and liveness . . . . . . . . 44--45 V. F. Turchin A supercompiler system based on the language REFAL . . . . . . . . . . . . . 46--54 Paulo A. S. Veloso Traversable stack with fewer errors . . 55--59 David A. Watt An extended attribute grammar for Pascal 60--74
T. H. Axford and Diana Burkhardt and W. P. Dodd and Susan Laflin and D. G. Parkyn and P. Ramsay ATOL: a simple language with powerful data structuring facilities . . . . . . 5--15 I. B. Elliot DLP, a design language pre-processor . . 14--20 Ned Chapin Full report of the Flowchart Committee on ANS Standard X3.5-1970 . . . . . . . 16--27 Sam Kamin Some definitions for algebraic data type specifications . . . . . . . . . . . . . 28--37 L. Lamport A general construction for expressing repetition . . . . . . . . . . . . . . . 38--42 B. K. Rosen Stickiness and liveness (program variables) . . . . . . . . . . . . . . . 44--45
Paul Abrahams The map coloring problem . . . . . . . . 10--11 Karel Culik The cyclomatic number and the normal number of programs . . . . . . . . . . . 12--17 Ralph E. Griswold and David R. Hanson and John T. Korb The Icon programming language: an overview . . . . . . . . . . . . . . . . 18--31 Alois Glanc On expressing control and data structures in predicate logic language ALGOL M . . . . . . . . . . . . . . . . 32--34 Peter Grogono On layout, identifiers and semicolons in Pascal programs . . . . . . . . . . . . 35--40 Roy Newton On exception handling with the `IRONMAN' languages, GREEN and REDL . . . . . . . 41--54 Roy Newton Some exception handling problems in language systems displaying a multi-path capability . . . . . . . . . . . . . . . 55--63 Dean Schulz The Intel Fortran-80 compiler for the 8080 and 8085 microprocessors . . . . . 64--76 Swiatomir G. Zabek Decomposition of complex selection criteria. (Programming) . . . . . . . . 77--80
Giuseppina Gini and Maria Gini and Renato Gini and Dario Giuse A multi-task system for robot programming . . . . . . . . . . . . . . 11--18 Anonymous APL comparison chart . . . . . . . . . . 19--20 V. Chinnaswamy Translation of decision tables into computer programs with the use of Carnaugh maps . . . . . . . . . . . . . 21--23 P. Deransart The language LISP does not exist? . . . 24--27 Frank DeRemer and Philip Levy and Steve Hanson and Philip Jackson and Richard Jullig and Tom Pittman Summary of the characteristics of several `modern' programming languages 28--45 S. Hanson and P. Jackson and R. Jullig and P. Levy and T. Pittman Summary of the characteristics of several `modern' programming languages 28--45 Deepak Kapur Specifications of Majster's traversable stack and Veloso's traversable stack . . 46--53 Robert K. Smart Micro Extensible Programming Language 54--63
Jean D. Ichbiah Preliminary Ada Reference Manual . . . . 1--145
Jean D. Ichbiah and Bernd Krieg-Brueckner and Brian A. Wichmann and John G. P. Barnes and Olivier Roubine and Jean-Claude Heliard Rationale for the design of the Ada programming language . . . . . . . . . . 1--261
B. T. Denvir On orthogonality in programming languages . . . . . . . . . . . . . . . 18--30 Howard Fosdick High-level languages for operating systems development --- a historical overview . . . . . . . . . . . . . . . . 31--37 Dick Grune Some statistics on ALGOL 68 programs . . 38--46 M. A. Hennell The role of procedural parameters in high order languages . . . . . . . . . . 47--50 B. J. MacLennan Observations on the differences between formulas and sentences and their application to programming language design . . . . . . . . . . . . . . . . . 51--61 Andrew D. McGettrick Aspects of the ALGOL 68 mode structure 62--77 Fernando Orejas On the power of conditional specifications . . . . . . . . . . . . . 78--81 Naveen Prakash and Y. K. Sharma An integrated data base language . . . . 82--96
James B. Morris Data abstraction: A static implementation strategy . . . . . . . . 1--7 Richard C. Holt and David B. Wortman A model for implementing Euclid modules and type templates . . . . . . . . . . . 8--12 Graeme Williams Program checking . . . . . . . . . . . . 13--25 Kari-Jouko Räihä Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars . . . . 26--38 James R. Cordy and Richard C. Holt and David B. Wortman Semantic charts: A diagrammatic approach to semantic processing . . . . . . . . . 39--49 Susan L. Graham and William N. Joy and O. Roubine Hashed symbol tables for languages with explicit scope control . . . . . . . . . 50--57 Michael K. Donegan and Robert E. Noonan and Stefan Feyock A code-generator generator language . . 58--64 Roderic G. G. Cattell and Joseph M. Newcomer and Bruce W. Leverett Code Generation in a Machine-Independent Compiler . . . . . . . . . . . . . . . . 65--75 Mark Kahrs Implementation of an Interactive Programming System . . . . . . . . . . . 76--82 Janet Fabri Automatic storage optimization . . . . . 83--91 G. B. Bonkowski and W. M. Gentleman and M. A. Malcolm Porting the Zed compiler . . . . . . . . 92--97 Stuart I. Feldman Implementation of a portable Fortran 77 compiler using modern tools . . . . . . 98--106 Paul W. Abrahams The CIMS PL/I compiler . . . . . . . . . 107--116 G. J. Hansen and G. A. Shoults and J. D. Cointment Construction of a transportable, multi-pass compiler for extended Pascal 117--126 A. Rudmik and E. S. Lee Compiler design for efficient code generation and program optimization . . 127--138 Richard J. LeBlanc and Charles N. Fischer On implementing separate compilation in block-structured languages . . . . . . . 139--143 Uwe F. Pleban The use of transition matrices in a recursive-descent compiler . . . . . . . 144--151 D. R. Milton and L. W. Kirchhoff and B. R. Rowland An ALL(1) compiler generator . . . . . . 152--157 Ajit B. Pai and Richard B. Kieburtz Global context recovery: A new strategy for parser recovery from syntax errors 158--167 Susan L. Graham and Charles B. Haley and William N. Joy Practical LR Error Recovery . . . . . . 168--175 Frank DeRemer and Thomas J. Pennello Efficient computation of LALR(1) look-ahead sets . . . . . . . . . . . . 176--187 Dennis J. Frailey An Intermediate Language For Source and Target Independent Code Optimization . . 188--200 Daniel R. Perkins and Richard L. Sites Machine-independent PASCAL code optimization . . . . . . . . . . . . . . 201--207 Philip A. Nelson A Comparison of PASCAL Intermediate Languages . . . . . . . . . . . . . . . 208--213 J. Eugene Ball Predicting the effects of optimization on a procedure body (program compilers) 214--220 Richard L. Sites Machine-independent register allocation 221--225 Ronald J. Mintz and Gerald A. Fisher, Jr. and Micha Sharir The design of a global optimizer (program compilers) . . . . . . . . . . 226--234
Paul Abrahams The PL/I standard: an apostate's view 15--16 J. E. Ball and G. J. Williams and J. R. Low Preliminary ZENO language description 17--34 Daniel M. Berry and Richard L. Schwartz Type equivalence in strongly typed languages: one more look . . . . . . . . 35--41 G. G. Gustafson Some practical experiences formatting Pascal programs . . . . . . . . . . . . 42--49 David C. Pflasterer Application of a remote code generator 50--58 Samuel T. Redwine, Jr. Using COBOL macroprocessing for reliable parameter passing . . . . . . . . . . . 59--60 Arthur Sale Scope and Pascal . . . . . . . . . . . . 61--63 John F. Shoch An overview of the programming language Smalltalk-72 . . . . . . . . . . . . . . 64--73 John Ramsdell Prettyprinting structured programs with connector lines . . . . . . . . . . . . 74--75 B. Wallace More on interactive input in PASCAL . . 76
Shimon Cohen The A-TABLE data-type for LISP systems 36--47 J. B. Marti and A. C. Hearn and M. L. Griss and C. Griss Standard Lisp Report . . . . . . . . . . 48--68 Edmond Schonberg Hierarchical design and efficient implementation in SETL: A case study . . 69--74 Tim Teitelbaum The Cornell Program Synthesizer: a syntax-directed programming environment 75--75 Paulo A. S. Veloso Traversable stack with fewer errors: addenda and corrigenda . . . . . . . . . 76--76 R. Barnes A working definition of the proposed extensions for PL/I real-time applications . . . . . . . . . . . . . . 77--99
J. A. Bergstra and J. V. Tucker On the adequacy of finite equational methods for data type specification . . 13--18 Charles Crowley and Gary Klimowicz A note on procedure timing . . . . . . . 19--22 David Feign A note on loop `optimization' . . . . . 23--25 Gerald A. Fisher, Jr. and Manfred Weber LALR(1) parsing for languages without reserved words . . . . . . . . . . . . . 26--30 D. M. Dungan Bibliography on data types . . . . . . . 31--59 R. F. Keller On selective and repetitive constructs 60--63 Janusz W. Laski An approach to loop programs debugging 64--72 Janusz W. Laski On readability of programs with loops 73--83 James M. Nead On the semantics of control statements 84--96 Colin Runciman Scarcely variabled programming and Pascal . . . . . . . . . . . . . . . . . 97--106 Antonio Salvadori and Christine Dumont Some inconsistencies in programming language implementation . . . . . . . . 107--109 B. Srinivasan and V. Gopalakrishna Control flow complexity and structuredness of programs . . . . . . . 110--115 Th. A. Zoethout and E. I. N. Stein Why the goto is harmful . . . . . . . . 116--122
P. Wegner Programming with ADA: an introduction by means of graduated examples . . . . . . 1--46 R. Bond Another note on Pascal indention . . . . 47--49 Anthony C. Hearn and Arthur C. Norman A One-Pass Prettyprinter . . . . . . . . 50--58 C. Bron and E. J. Dijkstra A discipline for the programming of interactive I/O in Pascal . . . . . . . 59--61 Norman L. Soong An overview of an organized industrial research and development activity for language and language processors . . . . 62--63 H. C. Gyllstrom and R. C. Knippel and L. C. Ragland and K. E. Spackman The Universal Compiling System . . . . . 64--70 H. C. Heacox RDL: a language for software development 71--79 Stephen R. Greenwood MACRO: a programming language . . . . . 80--91 Thomas N. Turba General Syntax Analyzer (GSA) . . . . . 92--109 Jolene J. Hart The Advanced Interactive Debugging System (AIDS) . . . . . . . . . . . . . 110--121 Wm. F. Rohde Language tools for data access: past, present and future . . . . . . . . . . . 122--141
Linda Zucconi A comment on ``Control flow complexity and structuredness of programs'' by Srinivasan and Gopalakrishna . . . . . . 82--84