SIGPLAN Notices, Volume 32, 1997

Volume 32, Number 1, January 1997

Special Report

• 
  Peter Trott:
  Programming Languages: Past, Present, and Future. 14-57

Technical Contributions (online versions of these papers were published in CSUR 28(4es)

• 
  Chris Hankin, Hanne Riis Nielson, Jens Palsberg:
  Position Statements on Strategic Directions for Research on Programming Languages. 59-65
• 
  Luca Cardelli:
  Global Computation. 66-68
• 
  Charles Consel:
  Program Adaption based on Program Transformation. 69-72
• 
  Patrick Cousot:
  Program Analysis: The Abstract Interpretation Perspective. 73-76
• 
  Michael Hanus:
  Integration of Declarative Paradigms: Benefits and Challenges. 77-79
• 
  Robert Harper, John C. Mitchell:
  ML and Beyond. 80-85
• 
  Daniel Le Métayer:
  Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. 86-88
• 
  Flemming Nielson:
  Perspectives on Program Analysis. 89-91
• 
  Martin Odersky:
  Challenges in Type Systems Research. 92-93
• 
  Robert Paige:
  Future Directions In Program Transformations. 94-97
• 
  Alberto Pettorossi, Maurizio Proietti:
  Future Directions in Program Transformation. 99-102
• 
  John C. Reynolds:
  Beyond ML. 103-105
• 
  Jon G. Riecke:
  Program Language Semantics: The Description of Computational Structures. 106-109
• 
  Barbara G. Ryder:
  A Position Paper on Compile-time Program Analysis. 110-114
• 
  David A. Schmidt:
  On the Need for a Popular Formal Semantics. 115-116
• 
  Dennis M. Volpano:
  Provably-Secure Programming Languages for Remote Evaluation. 117-119
• 
  Reinhard Wilhelm:
  Program Analysis: A Toolmaker's Perspective. 120-121

Volume 32, Number 2, February 1997

Language Tips

• 
  Knut Alfredsen, Bjørn Sæther:
  An Object Oriented Framework for Creating Models in Hydrology. 16-19

Resources

• 
  Ron Cytron:
  Book Nook: Compiler Contruction by Niklaus Wirth. 20-21

Forth

• 
  Reuben R. Thomas:
  An Introduction to the Beetle Forth Virtual Processor. 22-25

Technical Correspondence

• 
  Yongqiang Sun, Kai Lin, Li Shen:
  The Design and Implementation of a Program Development System Based on Rewriting Method. 27-34
• 
  Lem O. Ejiogu:
  On Dimishing the Vibrant Confusion In Software Metrics. 35-38
• 
  Martin Ruckert:
  Conservative Pretty Printing. 39-44
• 
  G. Deshpande, T. Troy Pearse, Paul W. Oman:
  Software Portability Annotated Bibliography. 45-53
• 
  Mark van den Brand, Paul Klint, Chris Verhoef:
  Re-engineering Needs Generic Programming Language Technology. 54-61

Volume 32, Number 3, March 1997

Language Tips

• 
  Tom Houlder:
  C++ for Scientific Applications of Iterative Nature. 21-26

Garbage In / Garbage Out

• 
  Henry G. Baker:
  When Bad Programs Happen to Good People. 27-31

Technical Correspondence

• 
  Bruce J. MacLennan:
  "Who Cares About Elegance?" The Role of Aesthetics in Programming Language Design. 33-37
• 
  Jürgen F. H. Winkler, Stefan Kauer:
  Proving Assertions is Also Useful. 38-41
• 
  Ilyas Cicekli:
  An Intelligent Backtracking Schema in A Logic Programming Environment. 42-49
• 
  Jiajun Chen, Guoliang Zheng:
  NDC++: An Approach to Concurrent Extension of C++. 50-56
• 
  Dennis Verschaeren, Annie A. M. Cuyt, Brigitte Verdonk:
  On the Need for Predictable Floating-Point Arithmetic in the Programming Languages Fortran 90 and C/C++. 57-64

Volume 32, Number 4, April 1997

Standards

• 
  Roy Rada, James Schoening:
  IEEE Efforts Towards Standards in Educational Technology. 16-18

Programming

• 
  Preston Briggs:
  Predicting the Performance of Parallel Machines. 19-21

Garbage In/Garbage Out

• 
  Henry G. Baker:
  I Have a Feeling We're Not in Emerald City Anymore. 22-26

Forth

• 
  Paul Frenger:
  Robot Control Techniques, Part One: A Review of Robotics Languages. 27-31

Language Tips

• 
  James P. Kelleghan:
  Monitoring Remote Sensing Devices in C++. 32-35

Technical Correspondence

• 
  Chris Zimmermann:
  A Note on Before and After Metamethods. 37-46
• 
  Charles Rapin:
  Block Structured Object Programming. 47-54

Volume 32, Number 5, May 1997

• 
  Marina C. Chen, Ron K. Cytron, A. Michael Berman:
  Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18, 1997. ACM 1997, ISBN 0-89791-907-6 [contents]

Volume 32, Number 6, June 1997

Language Tips

• 
  Asokan R. Selvaraj, Debasish Ghosh:
  Implementation of a Database Factory (C++ Toolbox). 14-18

Forth Report

• 
  Paul Frenger:
  Robot Control Techniques, Part Two: Forth as a Robotics Languags. 19-22

Garbage In / Garbage Out

• 
  Henry G. Baker:
  COMFY - A Comfortable Set of Control Primitives for Machine Language Programming. 23-27

Curricular Patterns

• 
  Fintan Culwin:
  A Report on the 'Java in the Computing Curriculum Conference' held at South Bank University, London, on 4th February 1997. 28-32

Technical Correspondence

• 
  Debbie K. Carter, Albert D. Baker:
  Considerations in Developing a Formally-Based Visual Programming Language Reference Manual: A Case Study on the SLAM II Language. 34-39
• 
  Jeffrey S. Vetter:
  Computational Steering Annoted Bibliography. 40-44
• 
  Myung Ho Kim:
  A Functional Approach to Type Constraints of Generic Definitions. 45-52
• 
  Naixiao Zhang, Hongjun Zheng, Zongyan Qiu:
  Garment: A Mechanism for Abstraction and Encapsulation of Languages. 53-60
• 
  Wen-Ke Chen, Jia-Su Sun, Zhi-Min Tang:
  Consummating Virtuality to Support More Polymorphism in C++. 61-68
• 
  Ralph Frisbie, Richard Hendrickson, Michael Metcalf:
  The F Programming Language. 69-74
• 
  Franco Zambonelli:
  How to Achieve Modularity in Distributed Object Allocation. 75-82

Volume 32, Number 7, July 1997

• 
  Robert Schreiber, Keshav Pingali, A. Michael Berman:
  Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Las Vegas, Nevada, USA, June 18-21, 1997. ACM 1997, ISBN 0-89791-906-8 [contents]

Volume 32, Number 8, August 1997

• 
  Simon L. Peyton Jones, Mads Tofte, A. Michael Berman:
  Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997. ACM 1997, ISBN 0-89791-918-1 [contents]

Volume 32, Number 9, September 1997

Conference Corner

• 
  Thomas J. Bergin:
  HOPL-II - Closing Panel: The History of Programming: Does our Present Past Have a Future? 15-37

Technical Correspondence

• 
  Wei Li, Gansheng Li:
  Making C++ Concurrent and Real-time. 39-46
• 
  Fatima Z. Mansouri, Colin A. Higgins:
  Prolog: An Annotated Bibliography. 47-53
• 
  Rommert J. Casimir:
  Basic Forever. 54-56
• 
  Lu Pei, Dachuan Yu, Jian Lu:
  A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment. 57-60
• 
  Jianhua Zhao, Jiajun Chen, Guoliang Zheng:
  Message Conversion and A New Type System for OO Model. 61-67
• 
  Zongyan Qiu:
  Static Head Nodes in the Operations on Dynamic Structures - An useful programming technique. 68-71

Volume 32, Number 10, October 1997

• 
  Mary E. S. Loomis, Toby Bloom, A. Michael Berman:
  Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1997, Atlanta, Georgia, October 5-9, 1997. ACM 1997, ISBN 0-89791-908-4 [contents]

Volume 32, Number 11, November 1997

Conference Corner

• 
  Frank Mueller:
  The 3rd ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems (Workshop Report). 15-16

Language Tips

• 
  Conrad Weisert:
  Point-Extent Pattern for Dimensional Numeric Classes (C++ Toolbox). 17-20

Forth Report

• 
  Paul Frenger:
  Venturing Forth With a Flashlite. 21-24

Garbage In / Garbage Out

• 
  Henry G. Baker:
  The COMFY 6502 Compiler. 25-30

Resources

• 
  H. S. M. Kruijer:
  The Search for Simplicity - Essays in Parallel Programming by Per Brinch Hansen. 31-32

Technical Correspondence

• 
  Cornelis Pronk, Martin Schönhacker, Richard J. Sutcliffe, Albert Wiedemann:
  Standardized Extensions to Modula-2. 34-48
• 
  Yasusi Kanada:
  Web Pages that Reproduce Themselves by JavaScript. 49-56
• 
  Jiazhong Zhang, Yanbing Wang, Mingchun Zheng:
  Design and Static Semantics of Algorithm Language L. 57-64

Volume 32, Number 12, December 1997

• 
  John P. Gallagher, Charles Consel, A. Michael Berman:
  Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997. ACM 1997, ISBN 0-89791-917-3 [contents]