External Links

    Journal: SIGPLAN Notices

    Volume 25, Issue 9

    10 -- 16József Györkös, Ivan Rozman, Tatjana Welzer. Dynamical system specifications as validation media
    17 -- 24Domenico Talia. Notes on termination of OCCAM processes
    25 -- 30Charles Chul-Doo Jung, Ernest E. Sibert. Communication types
    31 -- 38Hermann von Issendorff. A theory of organization
    39 -- 47A. B. Ruighaver, T. T. E. Yeo. Language support for a semi-dataflow parallel programming environment

    Volume 25, Issue 8

    15 -- 23Darrel C. Ince. An annotated bibliography of software matrices
    24 -- 26Limsoon Wong, Beng Chin Ooi. Treating failure as state
    27 -- 36Robert Steigerwald, Michael L. Nelson. Concurrent programming in Smalltalk-80
    37 -- 42W. F. Elsworth, M. B. A. Parkes. Automated compiler construction based on top-down syntax analysis and attribute evaluation
    43 -- 52Vitaliano Milanese. Coupling FORTH and GKS in monitoring processes
    53 -- 71Jean-Luc Dekeyser, Philippe Marquet, Ph. Pruex. EVA: an explicit vector language
    72 -- 74Victor B. Schneider. Compiler textbook bibliographies considered harmful
    75 -- 79Brian L. Meek. Two-valued datatypes
    80 -- 83Brian L. Meek. Failure is not just one value
    84 -- 102Hermann von Issendorff. A theory of organization
    103 -- 105Michael J. A. Berry. Adverbial programming
    106 -- 119Dan Jonsson. The flow of control notations pancode and boxcharts
    120 -- 123R. Daniel Resler, Keith O Sullivan. VisiCLANG - a visible compiler for CLANG

    Volume 25, Issue 7

    7 -- 10Mikael Eriksson. A correct example of multiple inheritance
    11 -- 18Tzvetan T. Drashansky. A concept for functional programming and distributed data processing in a local area network and its implementation
    19 -- 27Charles Lins. Programming without enumerations in Oberon
    28 -- 38Jukka Paakki, Anssi Karhinen, Tomi Silander. Orthogonal type extensions and reductions
    39 -- 58Chung-Kwong Yuen, Weng-Fai Wong. A self interpreter for BaLinda Lisp
    59 -- 62Peter Greenfield. Bagof/3 to ZF expression: an example prolog application manually translated to Miranda
    63 -- 71Joanne L. Boyd, Gerald M. Karam. Prolog in C
    72 -- 80Tom Axford. An elementary language construct for parallel programming
    81 -- 94Harold V. McIntosh, Gerardo Cisneros. The programming languages REC and convert
    95 -- 96Markku Sakkinen. On embedding Boolean as a subtype of integer
    97 -- 106Sanjay M. Krishnamurthy. A brief survey of papers on scheduling for pipelined processors

    Volume 25, Issue 5

    17 -- 24Henri E. Bal. Orca: a language for distributed programming
    25 -- 28Mark B. Wells. Identifiers and static name abstraction
    29 -- 33Michael P. Barnett. Primitive string transformations as reductions to normal form
    34 -- 38Michael P. Barnett, Xu Rui. Infix to prefix conversion as a PST reduction
    39 -- 52XinJie Jiang, YongSen Xu. Diverse executable semantics definitions in NUSL and an implementation of functional types
    53 -- 59Kenneth C. Louden. P-code and compiler portability: experience with a Modula-2 optimizing compiler
    60 -- 68Ivo van Horebeek, Johan Lewi. Are constructive formal specifications less abstract?
    69 -- 81Neelakantan Sundaresan. Translation of nested Pascal routines to C
    82 -- 90Heinz Dobler, Klaus Pirklbauer. Coco-2: a new compiler compiler
    91 -- 94Klaus Kaiser. Generating the minimal model in Prolog
    95 -- 102Daniel Keller. A guide to natural naming
    103 -- 116Peter L. Treadway. The use of sets as an application programming technique
    117 -- 123Boris Burshteyn. On the modification of the formal grammar at parse time
    124 -- 134Michel De Champlain. Synapse: a small and expressibe object-based real-time programming language

    Volume 25, Issue 4

    20 -- 32Pierre Labrèche, Louis Lamarche. Interactors: A Real-Time Executive with Multiparty Interactions in C++
    33 -- 42Brian L. Meek. The Static Semantics File
    43 -- 50Ronald E. Prather. Proposal for a Categorical Programming Language
    51 -- 58Gregor Snelting. How to Build LR Parsers Which Accept Incomplete Input
    59 -- 68Frank G. Pagan. Comparative Efficiency of General and Residual Parsers
    69 -- 72Ryan Stansifer. Imperative versus Functional
    73 -- 82Robert Mandl. On Power Loop Constructs in Programming Languages
    83 -- 89George H. Roberts. From Recursive Ascent to Recursive Descent: Via Compiler Optimizations

    Volume 25, Issue 2

    7 -- 16Edward J. Thomas, Paul W. Oman. A Bibliography of Programming Style
    17 -- 24David J. Nordstrom. Threading Lisp
    25 -- 34Atanas Radensky. Toward Integration of the Imperative and Logic Programming Paradigms: Horn-Clause Programming in the Pascal Environment
    35 -- 41B. Mehndiratta, P. S. Grover. Software Metrics - An Experimental Analysis

    Volume 25, Issue 12

    30 -- 36Susi Dulli, Vitaliano Milanese. A database design for graphical models
    37 -- 44Choun Tong Lieu, Djamil Sarni. O.LISP: theoretical basis and description
    45 -- 53Boris Burshteyn. Generation and recognition of formal languages by modifiable grammars
    54 -- 60Klaus Bothe. A prolog space benchmark suite: a new tool to compare prolog implementations
    61 -- 69Mikhail Auguston. Programming language RIGAL as a compiler writing tool
    70 -- 84Robert Jellinghaus. Eiffel Linda: an object-oriented Linda dialect
    85 -- 88Günter Dotzel. Does Modula-2 generate racehorses?: comparison of compiler generated code quality for floating point arithmetic
    89 -- 92C. S. Yovev. Universal editor unattainable
    93 -- 100ChengXiang Zhai. Preliminary ideas of a conceptual programming language

    Volume 25, Issue 11

    35 -- 44Henning Christiansen. A survey of adaptable grammars
    45 -- 64Birger Andersen. Ellie language definition report
    65 -- 74Mirjana Ivanovic, Zoran Budimac. Involving coroutines in interaction between functional and conventional language
    75 -- 79Robert McLaughlin. A plea for a readable Prolog programming style
    80 -- 84Thomas A. Kovats. A conservative alternative to pancode
    85 -- 94Thomas W. Christopher, David K. Ameiss. Functional programming in a parallel environment: the implementation of FP in MDC

    Volume 25, Issue 1

    17 -- 22Jacqueline M. Caron, Peter A. Darnell. Bugfind: A Tool for Debugging Optimizing Compilers
    23 -- 24S. Srinivasan. Compiler Design for Sets in PASCAL
    25 -- 28Raymond T. Boute. A Heretical View on Type Embedding
    29 -- 32Limsoon Wong, Beng Chin Ooi. Treating Failure As Value
    33 -- 42Domenico Talia. Survey and Comparison of PARLOG and Concurrent Prolog
    43 -- 51Peter P. K. Chiu, Sammy T. K. Fu. A Generative Approach to Universal Cross Assembler Design
    52 -- 58Adrian Avenarius, Siegfried Oppermann. FWEB: A Literate Programming System for Fortran8x
    59 -- 86Mary Payne, Craig Schaffert, Brian A. Wichmann. Proposal for a Language Compatible Arithmetic Standard
    runs on