SIGPLAN Notices, Volume 30
Volume 30, Number 1, January 1995
- Ming-Yuan Zhu: Program Transformation in Constructive Type Theory. 11-19
- Myung Ho Kim: A New Iteration Mechanism for The C++ Programming Language. 20-26
- Henry G. Baker: 'Use-Once' Variables and Linear Objects - Storage Management, Reflection and Multi-Threading. 45-52
Volume 30, Number 2, February 1995
- Giuseppe Castagna, Gary T. Leavens: Foundation of Object-Oriented Languages, 2nd Workshop Report. 5-11
- Liisa Räihä: A Brief Look at Extension Programming Before and Now. 12-20
- Steven J. Beaty: ParsesraP: Using One Grammar to Specify Both Input and Output. 25-32
- Jean-Louis Boulanger: Object Oriented Method for Axiom. 33-41
- Youfeng Wu: Strength Reduction of Multiplications by Integer Constants. 42-48
- Szabolcs Ferenczi: Guarded Methods Vs. Inheritance Anomaly: Inheritance Anomaly Solved by Nested Guarded Method Calls. 49-58
- Cyrus F. Nourani: Intelligent And Multi Agent Object Level Computing: The Preliminary Overview. 59-64
Volume 30, Number 3, March 1995
- Michael D. Ernst (Ed.): Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), San Francisco, CA, USA, January 22, 1995. ACM 1995 ISBN 0-89791-754-5 [ contents ]
Volume 30, Number 4, April 1995
- Jonathan L. Schilling: Dynamically-Valued Constants: An Underused Language Feature. 13-20
- John English: Multithreading in C++. 21-28
- John A. Trono: A Comparison of Three Strategies for Computing Letter Oriented, Minimal Perfect Hashing Functions. 29-35
- Limsoon Wong: Polymorphic Queries Across Sets, Bags, and Lists. 39-44
- Thant Tessman: Adding Generic Function to Scheme. 45-50
- Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück: Fortran Program Specialization. 61-70
- Marjan Mernik, Nikolaj Korbar, Viljem Zumer: LISA: A Tool for Automtic Language Implementation. 71-79
- John F. Cigas: Proper Packaging Promotes Parameter Passing Profiency. 80
Volume 30, Number 5, May 1995
- Bruno Stiglic, Marjan Hericko, Ivan Rozman: How to Evaluate Object-Oriented Software Development? 3-10
- P. D. Terry: Umbriel - Another Minimal Programming Language. 11-17
- David L. Shang: Covariant Deep Subtyping Reconsidered. 21-28
- Farooq Butt: Implementing FORTRAN77 Support in the GNU gdb Debugger. 29-36
- Peter Kokol, Viljem Zumer, Janez Brest, Marjan Mernik: PROMIS: A Software Metrics Tool Generator. 37-42
- Igor A. Borovikov: L-Systems with Inheritance: An Object-Oriented Extension of L-Systems. 43-60
Volume 30, Number 6, June 1995
- David W. Wall (Ed.): Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, USA, June 18-21, 1995. ACM 1995 ISBN 0-89791-697-2 [ contents ]
Volume 30, Number 7, July 1995
- Samuel N. Kamin: Report of a Workshop on Future Directions in Programming Languages and Compilers. 9-28
- James W. Howatt: A Project-Based Approach to Programming Language Evaluation. 37-40
- Jon. Hallett: Formulating Update Messages. 41-44
- Pavol Návrat, Mária Bieliková: Representing Calendrical Algorithms and Data in Prolog and Prolog III. 45-51
- Li XueDong, Guoliang Zheng: Introducing Virtual Instance Variables in Classes to Provide Sufficient Support for Encapsulation. 52-56
Volume 30, Number 8, August 1995
- Jeanne Ferrante, David A. Padua, Richard L. Wexelblat (Eds.): Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Santa Barbara, California, USA, July 19-21, 1995. ACM 1995 ISBN 0-89791-700-6 [ contents ]
Volume 30, Number 9, September 1995
- Gabriela O. de Vivo, Marco de Vivo: A Pragmatic Approach to C++, Eiffel and Ada 9X Programming. 9-16
- Henry G. Baker: CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A. 17-20
- Chung-Kwong Yuen: A Functional FOR Loop. 21-24
- Karl Traunmüller: The Checkers Problem: A Solution with Linear Time Complexity. 25-32
- Brian L. Meek: What is a Procedure Call? 33-40
- Jian Lu: Introducting Data Decomposition into VDM for Tractable Development of Programs. 41-50
Volume 30, Number 10, October 1995
- Rebecca Wirfs-Brock (Ed.): OOPSLA'95, Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, Austin, Texas, USA, October 15-19, 1995. ACM 1995 ISBN 0-89791-703-0, (SIGPLAN Notices 30(10)) [ contents ]
Volume 30, Number 11, November 1995
- Richard Gerber, Thomas J. Marlowe (Eds.): Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers, & Tools for Real-Time Systems (LCT-RTS 1995). La Jolla, California, June 21-22, 1995. ACM 1995 [ contents ]
Volume 30, Number 12, December 1995
- Conrad Weisert: Making C++ Practical for Business Applications: 3 Essential Classes. 4-8
- Per Brinch Hansen: Efficient Parallel Recursion. 9-16
- Tao Li: A Rule-based and Object-Oriented AI Programming Language. 17-24
- Gansheng Li: A New Approach for Efficient Implementation of ADA Multi-Tasking. 25-31
- John D. Ramsdell: CST: C State Transformers. 32-36
- Genjiang Zhu, Li Xie, Zhongxiu Sun: A New Methodology of Data Dependence Analysis for Parallelizing C++. 37-42
- Yves L. Noyelle: Disceplined C. 43-50
- Zhang Xinger: An Approach to Executable Specifications, Based On Formal Source-To-Source Conversion. 51-58
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team