Journal: SIGPLAN Notices

Volume 13, Issue 9

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

Volume 13, Issue 8

1 -- 0David Gries. ACM SIGPLAN history of programming languages conference ALGOL 60 language summary
3 -- 14Alan J. Perlis. The American side of the development of Algol
15 -- 44Peter Naur. The European side of the last phase of the development of ALGOL 60
45 -- 0. APL language summary
47 -- 57Adin D. Falkoff, Kenneth E. Iverson. The evolution of APL
59 -- 60. ACM SIGPLAN history of programming languages conference APT language summary
61 -- 99Douglas T. Ross. Origins of the APT language for automatically programmed tools
101 -- 102Ted G. Lewis. ACM SIGPLAN history of programming languages conference BASIC language summary
103 -- 118Thomas E. Kurtz. BASIC
119 -- 0. ACM SIGPLAN history of programming languages conference COBOL 60 language summary
121 -- 161Jean E. Sammet. The early history of COBOL
163 -- 164Bernard A. Galler. The FORTRAN Language
165 -- 180John Backus. The history of FORTRAN I, II, and III
181 -- 182. ACM SIGPLAN history of programming languages conference GPSS language summary
183 -- 198Geoffrey Gordon. The development of the General Purpose Simulation System (GPSS)
199 -- 200Charles L. Baker. ACM SIGPLAN history of programming languages conference JOSS language summary
201 -- 202Thomas E. Cheatham Jr.. A brief description of JOVIAL
203 -- 214Jules I. Schwartz. The development of JOVIAL
215 -- 216John McCarthy 0001. A micro-manual for LISP - not the whole truth
217 -- 223John McCarthy 0001. History of LISP
225 -- 226Robert F. Rosin. ACM SIGPLAN history of programming languages conference PL/I language summary
227 -- 241George Radin. The early history and characteristics of PL/I
243 -- 244William R. Franta. ACM SIGPLAN history of programming languages conference SIMULA language summary
245 -- 272Kristen Nygaard, Ole-Johan Dahl. The development of the SIMULA languages
273 -- 274Michael D. Shapiro. ACM SIGPLAN history of programming languages conference SNOBOL language summary
275 -- 308Ralph E. Griswold. A history of the SNOBOL programming languages
309 -- 310Richard L. Wexelblat. Afterword

Volume 13, Issue 7

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

Volume 13, Issue 6

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

Volume 13, Issue 5

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

Volume 13, Issue 4

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

Volume 13, Issue 3

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

Volume 13, Issue 2

30 -- 45James L. Elshoff. An investigation into the effects of the counting method used on software science measurements
46 -- 56Phil J. Grouse. "Flowblocks": a technique for structured programming
57 -- 62Gary J. Nutt. A comparison of PASCAL and FORTRAN as introductory programming languages
63 -- 70David C. Pflasterer. An approach to efficient, fault tolerant programming

Volume 13, Issue 12

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

Volume 13, Issue 11

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

Volume 13, Issue 10

33 -- 39John S. James. FORTH for microcomputers
40 -- 41George E. Lindamood. Some delitescent concepts in computer architecture
42 -- 49Jed Marti. The META/REDUCE translator writing system
50 -- 51Linda Zucconi. A comment on Chapin's and Denniston's "characteristics of a structured program"

Volume 13, Issue 1

16 -- 20Oddur Benediktsson. Notes on argument-parameter association in Fortran
21 -- 24Daniel Brand. A note on data abstractions
25 -- 33Dominique Comte, Guy Durrieu, O. Gelly, A. Plas, Jean-Claude Syre. Parallelism, control and synchronization expression in a single assignment language
34 -- 42Otto K. Ferstl. Flowcharting by stepwise refinement
43 -- 47J. Georges, F. Heymans. On parametric array expressions
48 -- 58Michal Iglewski, Jan Madey, Stan Matwin. A contribution to an improvement of PASCAL
59 -- 69Allan J. Payne. A formalised technique for expressing compiler exercisers
70 -- 74David B. Wortman. A rooster of XPL implementations