Volume 28, Number 1, January 1993

Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multiprocessors, Boulder, Colorado, September 30 - October 2, 1992, Extended Abstracts of Talks and Poster Abstracts.
Contents

Volume 28, Number 2, February 1993

• 
  Baowen Xu: On Subprograms With A Variable Number Of Parameters Of Varying Types. 14-20
• 
  William M. Waite: An Executable Language Definition. 21-40
• 
  Libero Nigro: On the Type Extensions of Oberon-2. 41-44
• 
  Rajiv Trehan, Nobuyuki Sawashima, Akira Morishita, Ichiro Tomoda, Toru Imai, Ken-ichi Maeda: Concurrent Object Oriented 'C' (cooC). 45-52
• 
  Uwe Schreiweis, A. Keune, Horst Langendörfer: An Integrated Prolog Programming Environment. 53-60
• 
  Paul W. Abrahams: Typographical Extensions for Programming Languages: Breaking out of the ASCII Straitjacket. 61-68

Volume 28, Number 3, March 1993

• 
  John A. N. Lee, Jean E. Sammet (Eds.): History of Programming Languages Conference (HOPL-II), Preprints, Cambridge, Massachusetts, USA, April 20-23, 1993. ACM 1993 ISBN 0-89791-570-4, (SIGPLAN Notices 28(3), March 1993) [ contents ]

Volume 28, Number 4, April 1993

• 
  Conrad Weisert: Has the King Returned? 9-10
• 
  Juan Hernández Núñez, Pedro de Miguel, Manuel Barrena García, Juan Miguel Martínez, Antonio Polo Márquez, Manuel M. Nieto Rodríguez: ALBA: A Parallel Language Based on Actors. 11-20
• 
  Uwe Schreiweis, A. Keune, Horst Langendörfer: An Integrated Prolog Programming Environment. 21-28
• 
  Mirjana Ivanovic, Zoran Budimac: A Definition of an ISWIM-Like Language via Scheme. 29-38
• 
  William S. Shu: Adapting a Debugger for Optimized Programs. 39-44
• 
  Otto Stolz: Anonymous Routine-Texts: an Orthogonal Approach to Block Objects. 45-48
• 
  Baowen Xu: CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications. 49-54
• 
  Henry G. Baker: 'Infant Mortality' and Generational Garbage Collection. 55-57
• 
  Andrew Davison: 15th July 1972: A Significant Moment for Logic Programming. 58-60
• 
  Josef Templ: A Systematic Approach to Multiple Inheritance Implementation. 61-66
• 
  Philip W. Hall IV: Parsing with C++ Constructors. 67-68

Volume 28, Number 5, May 1993

• 
  Shibin Hu: Comment on Cooper and Kennedy's Flow-Insensitive Interprocedural Summary Information Computation Algorithm. 3-8
• 
  Mehdi Badii, Fatemeh Abdollahzadeh: Dynamic Semantic Sepcification by Two-Level Grammars for a Block Structured Language with Subroutine Parameters. 9-18
• 
  Yuhua Zheng, Honglei Tu, Li Xie: And/Or Parallel Execution of Logic Programs: Exploiting Dependent And-Parallelism. 19-28
• 
  Karl-Heinz Drechsler, Manfred P. Stadel: A Variation on Knoop, Rüthing, and Steffen's Lazy Code Motion. 29-38
• 
  Jacek Passia, Klaus-Peter Löhr: Fips: A Functional-Imperative Language for Explorative Programming. 39-48
• 
  E. P. Wentworth: Generalized Regular Expressions - A Programming Exercise in Haskell. 49-54
• 
  Baowen Xu: PIDL / Pascal: A Pascal-oriented Program Interface Description Language And Its Applications. 53-62

Volume 28, Number 6, June 1993

• 
  Robert Cartwright (Ed.): Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993. ACM 1993 ISBN 0-89791-598-4 [ contents ]

Volume 28, Number 7, July 1993

• 
  Marina C. Chen, Robert Halstead (Eds.): Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), San Diego, California, USA, May 19-22, 1993. ACM 1993 ISBN 0-89791-589-5 [ contents ]

Volume 28, Number 8, August 1993

• 
  Jan Hesse, Rainer König, Filippo Logi, Jens Herder: A Prototype of an Interface Bilder for the Common Lisp Interface Manager - CLIB. 19-28
• 
  Kailash Chandra: C++ in Eight Weeks. 29-38
• 
  Jonathan L. Schilling: Fail-Safe Programming in Compiler Optimization. 39-42
• 
  Dick Grune: Two-Level Grammars are More Expressive Than Type 0 Grammars Or are They? 43-45
• 
  Zongming Fei, Jian Lu: An Approach Toward Mechanization of Acquiring Reusable Software Components. 46-52
• 
  Edward W. Czeck, James M. Feldman: On Defusing a Small Landmine in the Type Casting of Pointers in the 'C' Language. 53-56
• 
  Pascal Janssens, Annie A. M. Cuyt: How Does PASCAL-XSC Compare to Other Programming Languages with Respect to the IEEE Standard? 57-66
• 
  Lem O. Ejiogu: Five Principles for the Formal Validation of Models of Software Metrics. 67-76
• 
  Mark Cashman: Edicates - A Specification Of Calling Sequences. 77-80
• 
  Noemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel: Types in School. 81-89
• 
  Malcolm J. Shute: Abotec: An Autmatic Back-of-the-Envelope Calculator. 90-98
• 
  Michael Philippsen, Ernst A. Heinz, Paul Lukowicz: Compiling Machine-Independent Parallel Programs. 99-108
• 
  Johann Rost: "D²R": A Dynamic Dataflow Representation for Task Scheduling. 109-116
• 
  Henrik Arro, Jonas Barklund, Johan Bevemyr: Parallel Bounded Quantification - Preliminary Results. 117-124

Volume 28, Number 9, September 1993

• 
  Thomas W. Getzinger, Ralph Clarke Haygood, Peter Van Roy: Announcing the Release of Aquarius Prolog. 5
• 
  Phil Pfeiffer: Report on the Second Annual Alan J. Perlis Symposium on Programming Languages. 6-12
• 
  Richie Bielak: Object Oriented Programming: The Fundamentals. 13-14
• 
  Mark Woodman: A Taste of the Modula-2 Standard. 15-24
• 
  John Banning: Comment on a Comment by Shibin Hu. 25
• 
  Douglas Bell, Mike Parr: Spreadsheets: A Research Agenda. 26-28
• 
  Yaoqing Gao, Chung-Kwong Yuen: A Survey of Implementations of Concurrent, Parallel and Distributed Smalltalk. 29-35
• 
  Rainer H. Liffers: Inheritance versus Containment. 36-38
• 
  Jürgen Heymann: A 100% Portable Inline-Debugger. 39-46
• 
  Michael E. Goldsby: A Simple Implementation Technique for Mixin Inheritance. 47-56
• 
  Bernd Müller: Is Object-Oriented Programming Structured Programming? 57-66
• 
  Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini: Pointer-Induced Aliasing: A Clarification. 67-70

Volume 28, Number 10, October 1993

• 
  Timlynn Babitsky, Jim Salmons (Eds.): Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Eighth Annual Conference, Washington, DC, USA, September 26 - October 1, 1993, Proceedings. ACM 1993 ISBN 0-89791-587-9, (SIGPLAN Notices 28(10) / OOPSLA'93, Addendum to the Proceedings: OOPS Messenger 5(2) April 1994) [ contents ]

Volume 28, Number 11, November 1993

• 
  John Banning: Comment on a Comment by Shibin Hu. 3
• 
  Simon L. Peyton Jones, John Hughes, John Launchbury: How to Give a Good Research Talk. 9-12
• 
  Frank A. Adrian: A Modest Proposal Concerning Variables and Assignment Statements. 13-15
• 
  Babak Dehbonei, Fernando Mejia: Verification of Proofs for the B Formal Development Process. 16-21
• 
  Henry G. Baker: Complex Gaussian Integers for 'Gaussian Graphics'. 22-27
• 
  José de Oliveira Guimarães: Parametrized Methods. 28-32
• 
  Mark Harman, Sebastian Danicic: Projecting Functional Models of Imperative Programs. 33-41
• 
  Tony Hetherington: An Introduction to the Extended Pascal Language. 42-51
• 
  Heiko Kießling, Uwe Krüger: Blocks and Procedures. 52-61

Volume 28, Number 12, December 1993

• 
  Barton P. Miller, Charles E. McDowell (Eds.): Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, California, USA, May 17-18, 1993. ACM 1993 ISBN 0-89791-633-6 [ contents ]