SIGPLAN Notices, Volume 31, 1996

Volume 31, Number 1, January 1996

Patterns

Richard Helm: Patterns, Architecture and Software. 2-3 BibTeX

Literate Programming

Preston Briggs: Remembering. 4-5 BibTeX

C++ Toolbox

G. Bowden Wise: A New Resource for C++ Programmers and an Invitation for Participation. 6-8 BibTeX

Online

Kate Stewart: Starting Points. 9-11 BibTeX

Technical Correspondence

Chung-Kwong Yuen, Ming-Dong Feng: Tail-Recursive Parallel Summing of a Multi-List. 20-21 BibTeX
Andreas Zeller, Dorothea Lütkehaus: DDD - A Free Graphical Front-End for UNIX Debuggers. 22-27 BibTeX
K. John Gough: Bottom-up Tree Rewriting Tool MBURG. 28-31 BibTeX
Myles F. Barrett, Marshall E. Giguere: A Note on Covariance and Contravariance Unification. 32-35 BibTeX
Jennifer Hamilton: A Model for Implementing an Object-Oriented Design without Language Extensions. 36-43 BibTeX
Michael A. Klug: Towards a Classification of Visibility Rules. 44-50 BibTeX

Volume 31, Number 2, February 1996

Curricular Patterns - OO Techniques in the Classroom

A. Michael Berman: Column Constructor. 4-5 BibTeX

Languages

Pankaj Agarwal: Describing Biological Cells by Computer Programs. 6-7 BibTeX

Conference Corner

Gabriel M. Silberman: The Third International Conference on Parallel Computing Technologies (PaCT-95), Saint Petersburg, Russia. 8-9 BibTeX

Technical Correspondence

Alexey L. Lastovetsky: mpC: a Multi-Paradigm Programming Language for Massively Parallel Computers. 13-20 BibTeX
Antti-Pekka Tuovinen, Jukka Paakki: Translating SQL for Database Reengineering. 21-26 BibTeX
Terence John Parr, Russell W. Quong: LL and LR Translators Need k>1 Lookahead. 27-34 BibTeX
Peter Kokol, Janez Brest, Viljem Zumer: Software Complexity - An Alternative View. 35-41 BibTeX
Bent Bruun Kristensen, Kasper Østerbye: A Conceptual Perspective on the Comparison of Object-Oriented Programming Languages. 42-54 BibTeX
Andrew W. Appel: Intensional Equality ;=) for Continuations. 55-57 BibTeX

Volume 31, Number 3, March 1996

Curricular Patterns

A. Michael Berman: Philadelphia Dreaming. 2-3 BibTeX

Debate

Daniel M. Yellin, Robert E. Strom, Richard P. Gabiel: Do Programmers Need Seat Belts? 5-10 BibTeX

Technical Correspondence

Guoping Jia, Guoliang Zheng: Fair Transition System Specification: An Integrated Approach. 14-21 BibTeX
Robin A. Vowels: PL/I for OS/2. 22-27 BibTeX
Sunny Y. Wang: A New Sort Algorithm: Self-Indexed Sort. 28-36 BibTeX

Volume 31, Number 4, April 1996

Curricular Patterns

A. Michael Berman: On Beyond OOP. 1-3 BibTeX

C++ Toolbox

G. Bowden Wise: An Overview of the Standard Template Library. 4-10 BibTeX

Literate Programming

Preston Briggs: Automatic Parallelization. 11-15 BibTeX

Technical Correspondence

Robert E. Bruccoleri: WRAPGEN - A Tool for the Use of Fortran and C Together in Portable Programs. 20-27 BibTeX
Michael Karr: A Translator from C to a Lambda-Calculus Representation. 28-31 BibTeX
S. J. Goldsack, Kevin Lano, Eugène Dürr: Annealing and Data Decomposition in VDM++. 32-38 BibTeX
Bradford J. Rodriguez, W. F. Skip Poehlman: A Survey of Object Oriented Forths. 39-42 BibTeX
Leonard Zettel: Toward an Object-Oriented Forth. 43-44 BibTeX
R. W. Whitty: Object-Oriented Metrics: an Annotated Bibliography. 45-75 BibTeX

Volume 31, Number 5, May 1996

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, May 21-24, 1996. SIGPLAN Notices 31(5) (May 1996)
Contents

Volume 31, Number 6, June 1996

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), Philadelphia, Pennsylvania, May 24-26, 1996, SIGPLAN Notices 31(6), June 1996, ACM Press, ISBN 0-89791-770-7
Contents

Volume 31, Number 7, July 1996

Activities

Lori L. Pollock: Letter from the Secretary: The ACM SIGPLAN Web Site. 1 BibTeX

Conference Corner

Michael Hind, Phil Pfeiffer: Using Regional Conferences to Mentor Student Development: A Case Study. 4-7 BibTeX

C++ Toolbox

Cleveland A. Gibbon, Colin A. Higgins: Teaching Object-Oriented Design with Heuristics. 12-16 BibTeX

Technical Correspondence

Alexander Aiken: Cool: A Portable Project for Teaching Compiler Construction. 19-24 BibTeX
Arthur Sorkin: Some Comments on 'The Priority-Based Coloring Approach to Register Allocation'. 25-29 BibTeX
Jiun-Liang Chen, Feng-Jian Wang: Encapsulation in Object-Oriented Programs. 30-32 BibTeX
Maurizio Panti, Alessandro Cucchiarelli, M. Mattiucci, Salvatore Valenti: Process to Process Communication in Prolog. 33-39 BibTeX
Vitaliano Milanese: Interpreting RSets, SSets and Features by Denotational Semantics. 40-47 BibTeX

Volume 31, Number 8, August 1996

Languages

Preston Briggs: Sparse Matrix Manipulation. 5-7 BibTeX
Ronald Prescott Loui: Why Gawk for AI? 8-9 BibTeX
G. Bowden Wise: Casting in C++: Bringing Safety and Smartness to Your Programs. 10-15 BibTeX
Nikolaos Papaspyrou: A Framework for Programming Denotational Semantics in C++. 16-25 BibTeX
Paul Frenger: Thoughts on the 1996 Rochester FORTH Conference. 26-27 BibTeX

Conference Corner

Charles D. Norton: The International Workshop on Parallel C++ (IWPC++), Kanazawa, Ishikawa Prefecture, Japan. 28-30 BibTeX

Feedback

Arne Andersson, Andrej Brodnik: Comments on Self-Indexed Sort. 40-41 BibTeX

Technical Correspondence

Stéphane Vialle, Thierry Cornu, Yannick Lallement: ParCeL-1: A Parallel Programming Language Based on Autonomous and Synchronous Actors. 43-51 BibTeX
Mohd Hanafiah Abdullah: hcc - A Portable ANSI C Compiler (with a Code Generator for the PowerPCs). 52-59 BibTeX
Apostolos Syropoulos: A Note On Type Checking Linear Functional Languages. 60-63 BibTeX
Farooq Butt: Porting the mcc PowerPC C/C++ Compiler into an Interactive Development Environment. 64-73 BibTeX
Cornelis Pronk, Martin Schönhacker: ISO/IEC 10514-1, the Standard for Molula-2: Process Aspects. 74-83 BibTeX
Martin Schönhacker, Cornelis Pronk: ISO/IEC 10514-1, the Standard for Molula-2: Changes, Clarifications and Additions. 84-95 BibTeX

Volume 31, Number 9, September 1996

ASPLOS-VII Proceedings - Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, October 1-5, 1996. SIGARCH Computer Architecture News 24(Special Issue October 1996), SIGOPS Operating Systems Review 30(5) 1996, SIGPLAN Notices 31(9) 1996
Contents - ASPLOS-7 Home Page

Volume 31, Number 10, October 1996

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA '96), San Jose, California, October 6-10, 1996. SIGPLAN Notices 31(10), October 1996
Contents - OOPSLA 96 information by ACM

Volume 31, Number 11, November 1996

Conference Corner

Thomas J. Bergin, Richard J. Gibson: Supplemental Material from HOPL II. 9-20 BibTeX

Curricular Patterns

Joseph Bergin: Java as a Better C++. 21-27 BibTeX

Language Tips

Mike A. Marin: Effective use of Assertions in C++. 28-32 BibTeX

Programming

Preston Briggs: Sparse Matric Multiplication. 33-37 BibTeX

Technical Correspondence

Günter Kniesel, Thilo Kielmann, Athanasios Demiris, Milena Shteto: 5th Workshop for Doctoral Students in Object-Oriented Systems, Held in Conjunction with ECOOP'95 in Aarhus, Denmark. 39-48 BibTeX
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano: Static, Dynamic and Run-Time Modeling of Compound Classes. 49-55 BibTeX
P. M. van den Broek, Klaas van den Berg: Musical Equational Programs: A Functional Approach. 56-65 BibTeX
Günter Dotzel, Hartmut Goebel: Porting the Oberon System to AlphaAXP. 66-73 BibTeX
Ben Werther, Damian Conway: A Modest Proposal: C++ Resyntaxed. 74-82 BibTeX

Volume 31, Number 12, December 1996

Executive Commitee News

John R. Pugh: A Report from OOPSLA. 1-2 BibTeX

Conference Corner

James Noble, Antero Taivalsaari: ECOOP'96 Workshop on Prototype Based Object Oriented Programming. 12-17 BibTeX , Position Papers

Curricular Patterns

Helen Sharp, Mary Lynn Manns, Phil McLaughlin, Maximo Prieto, Mahesh Dodani: Pedagogical Patterns - Success in Teaching Object Technology, A Workshop from OOPSLA '96. 18-21 BibTeX

Language Tips

David Dodgson: Evolution of the C++ Standard Library. 22-26 BibTeX

Resources

Ron Cytron: "Out of Their Minds" by Dennis Shasha and Cathy Lezere. 27-28 BibTeX , Out of Their Minds Web Page

Forth

Paul Frenger: Thoughts on the 1996 Rochester FORTH Conference. 26-27 BibTeX

Standards

Roger K. DeBry: Report of TC-2 Working Groups. 33-38 BibTeX

Technical Correspondence

Chris Houser: Manual and Compiler for the Terse and Modular Language DEM. 41-51 BibTeX
Jørgen Lindskov Knudsen, Ole Lehrmann Madsen: Using Object-Orientation as a Common Basis for System Development Eduaction. 52-62 BibTeX
Giuseppe Callegarin: Requirements for an Imperative Language to Host Logic Programming in a Seamless Way. 63-68 BibTeX
Arthur Sorkin: Some Comments on Moral and Renvoise's "Global Optimization by Suppression of Partial Redundancies". 69-72 BibTeX
Richard D. Ferrante, James R. Allard: Introducing a CPS Style Optimizer into an Existing Compiler. 73-79 BibTeX
Apostolos Syropoulos: A Note On Type Checking Linaer Functional Languages. 80-83 BibTeX