SIGPLAN Notices, Volume 31, 1996

Volume 31, Number 1, January 1996

Patterns

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

Literate Programming

• 
  Preston Briggs:
  Remembering. 4-5

C++ Toolbox

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

Online

• 
  Kate Stewart:
  Starting Points. 9-11

Technical Correspondence

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

Volume 31, Number 2, February 1996

Curricular Patterns - OO Techniques in the Classroom

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

Languages

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

Conference Corner

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

Technical Correspondence

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

Volume 31, Number 3, March 1996

Curricular Patterns

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

Debate

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

Technical Correspondence

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

Volume 31, Number 4, April 1996

Curricular Patterns

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

C++ Toolbox

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

Literate Programming

• 
  Preston Briggs:
  Automatic Parallelization. 11-15

Technical Correspondence

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

Volume 31, Number 5, May 1996

• 
  Charles N. Fischer:
  Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996. ACM 1996, ISBN 0-89791-795-2 [contents]

Volume 31, Number 6, June 1996

• 
  Robert Harper, Richard L. Wexelblat:
  Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996. ACM 1996, 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

Conference Corner

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

C++ Toolbox

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

Technical Correspondence

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

Volume 31, Number 8, August 1996

Languages

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

Conference Corner

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

Feedback

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

Technical Correspondence

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

Volume 31, Number 9, September 1996

• 
  Bill Dally, Susan J. Eggers:
  ASPLOS-VII Proceedings - Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, USA, October 1-5, 1996. ACM Press 1996, ISBN 0-89791-767-7 [contents]

Volume 31, Number 10, October 1996

• 
  Lougie Anderson, James Coplien:
  Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1996, San Jose, California, USA, October 6-10, 1996. ACM 1996, ISBN 0-89791-788-X [contents]

Volume 31, Number 11, November 1996

Conference Corner

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

Curricular Patterns

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

Language Tips

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

Programming

• 
  Preston Briggs:
  Sparse Matric Multiplication. 33-37

Technical Correspondence

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

Volume 31, Number 12, December 1996

Executive Commitee News

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

Conference Corner

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

Curricular Patterns

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

Language Tips

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

Resources

• 
  Ron Cytron:
  "Out of Their Minds" by Dennis Shasha and Cathy Lezere. 27-28

Standards

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

Technical Correspondence

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