External Links

    Journal: SIGPLAN Notices

    Volume 15, Issue 9

    13 -- 14Roy H. Campbell, Robert B. Kolstad. An overview of path Pascal's design
    15 -- 24Robert B. Kolstad, Roy H. Campbell. Path PASCAL user manual
    25 -- 27A. Chiarini. On FP languages combining forms
    28 -- 30W. Peter Dodd. Some comments on a recent article by Salvadori and Dumont regarding the evaluation of compound conditional expressions
    32 -- 38Syuetsu Hanata, Tadamasa Satoh. Compact chart: a program logic notation with high describability and understandability
    39 -- 42Jürgen M. Janas. A comment on "operator identification in ADA" by Ganzinger and Ripken
    44 -- 57John A. Sharp. Data oriented program design
    58 -- 60M. Nadir Yücel, Bogos Pinar. Bit processing with FORTRAN
    61 -- 63Tadao Takaoka. Introduction of history to variables
    64 -- 66Murat M. Tanik. Two experiments on a program complexity perception by programmers

    Volume 15, Issue 7-8

    26 -- 35K. Mani Chandy, Jayadev Misra. A simple model of distributed programs based on implementation-hiding and process autonomy
    36 -- 47Frank DeRemer, Thomas J. Pennello, Richard Meyers. A syntax diagram for (preliminary) Ada
    48 -- 51Robert L. Glass. The "project which failed" which succeeded
    52 -- 57Darrel C. Ince. Paged input/output in some high level languages
    58 -- 63Manfred Jackel. A formatting parser for PASCAL programs
    64 -- 71Radu Nicolescu. Some short comments on the definition and the documentation of the ADA programming language
    72 -- 81Frank G. Pagan. Nested sublanguages of Algol 68 for teaching purposes
    82 -- 87Thomas J. Pennello, Frank DeRemer, Richard Meyers. A simplified operator identification scheme for Ada
    88 -- 89Robert Smart. Pointers to local variables

    Volume 15, Issue 6

    15 -- 18J. T. Galkowski. A critique of the DOD common language effort
    19 -- 27David W. E. Blatt. On the great big substitution problem
    28 -- 33Franklyn T. Bradshaw, George W. Ernst, Raymond J. Hookway, William F. Ogden. Procedure semantics and language definition
    34 -- 38Victor S. Foster. Performance measurement of a Pascal compiler
    39 -- 45Ahmed Mahjoub. A new modula compiler for the LSI-11
    46 -- 60Michael McNeil, William J. Tracz. PL/I program efficiency
    61 -- 63Brian L. Meek. Serial attitudes, parallel attitudes
    64 -- 67Abha Moitra. A note on algebraic specification of binary trees
    68 -- 76John Ker Reid. Functions for manipulating floating-point numbers
    77 -- 81Jan van den Bos. Comments on ADA process communication

    Volume 15, Issue 5

    19 -- 0Richard J. Cichelli. Fixing PASCAL'S I/O
    20 -- 23Charles Crowley. Structured programming is reductionistic!
    24 -- 34John R. Ellis. A Lisp shell
    37 -- 40Douglas W. Jones. Tasking and parameters: a problem area in Ada
    41 -- 48Dennis W. Leinbaugh. Indenting for the compiler
    49 -- 53John Levine. Why a Lisp-based command language?
    54 -- 55Sten Ljungkvist. Pascal and existing Fortran files
    56 -- 65Terje Noodt, Dag Belsnes. A simple extension of Pascal for quasi-parallel processing
    78 -- 80John Van Zandt. On visual and textual structures

    Volume 15, Issue 4

    1 -- 66A. M. Addyman. A draft proposal for PASCAL
    67 -- 69A. M. Addyman. PASCAL standardisation
    70 -- 74Norman H. Cohen. Gödel numbers: a new approach to structured programming
    75 -- 0David Harel. "do considered od" considered odder than "do considered ob"
    76 -- 78Brian A. Hetrick, H. Eisenberg. Confinement of a class of harmful effects of the goto statement
    79 -- 92R. Schild, H. Lienhard. Real-time programming in PORTAL

    Volume 15, Issue 3

    21 -- 27Bruce Anderson. Type syntax in the language "C": an object lesson in syntactic innovation
    28 -- 34Herbert Klaeren. An abstract software specification technique based on structural recursion
    45 -- 61Mary Shaw, William A. Wulf. Toward relaxing assumptions in languages and their implementations

    Volume 15, Issue 2

    14 -- 16Henry G. Baker. A source of redundant identifiers in PASCAL programs
    17 -- 29Raymond T. Boute. Simplifying ADA by removing limitations
    30 -- 42Harald Ganzinger, Knut Ripken. Operator identification in ADA: formal specification, complexity, and concrete implementation
    43 -- 45Darrel C. Ince. An interpretative implementation of limited entry decision tables in Algol 68
    46 -- 50Jaroslav Král. Parkinson programming
    51 -- 63Godfrey Lee, Tim Boreham, Bob Minns, Fred Smith, Rick Soderstrom. FORTRAN programming standards
    64 -- 73Avi Silberschatz, Richard B. Kieburtz. The external consistency of abstract data types
    74 -- 81Manfred Weber, Susan L. Bernstein. Global register allocation for non-equivalent register sets
    82 -- 84Linda Zucconi. A comment on "Control flow complexity and structuredness of programs" by Srinivasan and Gopalakrishna

    Volume 15, Issue 12

    15 -- 16L. Baxter. The versatility of PROLOG
    31 -- 42J. Craig Cleaveland. Mathematical specifications
    43 -- 0Leroy Johnson. do considered reflectively: a contribution to group programming
    44 -- 0Leroy Johnson. <u>do</u> considered <u>ob</u>viously <u>odd</u> in three dimensions
    45 -- 52Karl L. Pentzlin. A syntax for character and string constants supplying user-defined character codes
    53 -- 55Arthur Sale. Counterview in favour of strict type compatibility
    56 -- 61P. L. J. Siero. APL and Algo168, the correspondence and the differences, especially in applications of graph-analysis
    62 -- 74Jan Stroet. An alternative to the communication primitives in ADA
    75 -- 81Anthony G. Sumpter, Gerry E. Quick. Concurrency specification in high level languages
    82 -- 84Nora M. Taylor. Protection of proprietary software
    85 -- 91Jonathan S. Tutleman. "Handling large, complex and variable job-control streams using a procedure invocation package ('PIP') and a pseudo-library"
    92 -- 103Neal R. Wagner. A Fortran preprocessor for the large program environment

    Volume 15, Issue 10

    15 -- 26Edward A. Ashcroft, William W. Wadge. Some common misconceptions about Lucid
    27 -- 34Ronald F. Brender. The case against Ada as an APSE command language
    35 -- 41James F. Gimpel. Contour: a method of preparing structured flowcharts
    42 -- 47Marc A. Gobin. File handling in programming languages
    57 -- 62Henry F. Ledgard. A human engineered variant of BNF
    76 -- 84Kuo-Chung Tai, Kenneth P. Garrard. Comments on the suggested implementation of tasking facilities in the "rationale for the design of the ADA programming language"
    85 -- 87Amiram Yehudai. Automatic indention versus program formatting

    Volume 15, Issue 1

    23 -- 0John C. Reynolds. Reasoning about arrays
    24 -- 33John Beidler, John G. Meinke. An intermediate level dynamic storage capability
    34 -- 44Richard J. Cichelli. Pascal-I: interactive, conversational Pascal-S
    45 -- 57Karel Culík. What is a flowchart loop and about structured programming
    58 -- 65John D. Gannon, Paul R. McMullin, Richard G. Hamlet, Mark A. Ardis. Testing traversable stacks
    66 -- 68Douglas R. Kaye. Interactive Pascal input
    69 -- 76William P. LaPlant, Matthew A. Jaro. The UNIMAC lexical analyzer
    77 -- 85Janusz W. Laski. A hierarchical approach to program testing
    86 -- 94Christopher D. S. Moss. Structured programming with loop statements
    95 -- 102Roger Schoenberger. Resource management in PORTAL
    103 -- 104Stephen A. Sutton. An algorithm for user interaction
    105 -- 114Richard N. Taylor. Assertions in programming languages
    115 -- 116Barry K. Rosen. How practical is POPL?
    117 -- 129Roger M. Firestone. An experimental LISP system for the SPERRY UNIVAC 1100 Series
    130 -- 138Michael A. Mayor. A language for network analysis and definition
    139 -- 145F. P. Mehrlich, S. M. Tanner. Portability: high level language implementation
    146 -- 155Frank W. Stodola. The PLUS programming language
    156 -- 166Thomas G. Weidner. CHAMIL: a case study in microprogramming language design
    runs on