![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
SIGPLAN Notices, Volume 32, 1997
Volume 32, Number 1, January 1997
- Peter Trott:
Programming Languages: Past, Present, and Future. 14-57
- 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
- Knut Alfredsen, Bjørn Sæther:
An Object Oriented Framework for Creating Models in Hydrology. 16-19
- Ron Cytron:
Book Nook: Compiler Contruction by Niklaus Wirth. 20-21
- Reuben R. Thomas:
An Introduction to the Beetle Forth Virtual Processor. 22-25
- 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
- Tom Houlder:
C++ for Scientific Applications of Iterative Nature. 21-26
- Henry G. Baker:
When Bad Programs Happen to Good People. 27-31
- 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
- Roy Rada, James Schoening:
IEEE Efforts Towards Standards in Educational Technology. 16-18
- Preston Briggs:
Predicting the Performance of Parallel Machines. 19-21
- Henry G. Baker:
I Have a Feeling We're Not in Emerald City Anymore. 22-26
- Paul Frenger:
Robot Control Techniques, Part One: A Review of Robotics Languages. 27-31
- James P. Kelleghan:
Monitoring Remote Sensing Devices in C++. 32-35
- 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
- Asokan R. Selvaraj, Debasish Ghosh:
Implementation of a Database Factory (C++ Toolbox). 14-18
- Paul Frenger:
Robot Control Techniques, Part Two: Forth as a Robotics Languags. 19-22
- Henry G. Baker:
COMFY - A Comfortable Set of Control Primitives for Machine Language Programming. 23-27
- Fintan Culwin:
A Report on the 'Java in the Computing Curriculum Conference' held at South Bank University, London, on 4th February 1997. 28-32
- 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
- Thomas J. Bergin:
HOPL-II - Closing Panel: The History of Programming: Does our Present Past Have a Future? 15-37
- 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
- Frank Mueller:
The 3rd ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems (Workshop Report). 15-16
- Conrad Weisert:
Point-Extent Pattern for Dimensional Numeric Classes (C++ Toolbox). 17-20
- Paul Frenger:
Venturing Forth With a Flashlite. 21-24
- Henry G. Baker:
The COMFY 6502 Compiler. 25-30
- H. S. M. Kruijer:
The Search for Simplicity - Essays in Parallel Programming by Per Brinch Hansen. 31-32
- 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]
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.