SIGPLAN Notices, Volume 25

Volume 25, Number 1, January 1990

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

Volume 25, Number 2, February 1990

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

Volume 25, Number 3, March 1990

Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, March 14-16, 1990. ACM Press, 1990, ISBN 0-89791-350-7
Contents

Volume 25, Number 4, April 1990

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

Volume 25, Number 5, May 1990

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

Volume 25, Number 6, June 1990

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, June 20-22, 1990.
Contents

Volume 25, Number 7, July 1990

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

Volume 25, Number 8, August 1990

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

Volume 25, Number 9, September 1990

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

Volume 25, Number 10, October 1990

Norman K. Meyrowitz (Ed.): Conference on Object-Oriented Programming Systems, Languages, and Applications / European Conference on Object-Oriented Programming, 21-25 October 1990, Ottawa, Canada, Proceedings.
Contents

Volume 25, Number 11, November 1990

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

Volume 25, Number 12, December 1990

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