SIGPLAN Notices, Volume 30

Volume 30, Number 1, January 1995

Dianxiang Xu, Guoliang Zheng: Logical Objects with Constraints. 5-10 BibTeX
Ming-Yuan Zhu: Program Transformation in Constructive Type Theory. 11-19 BibTeX
Myung Ho Kim: A New Iteration Mechanism for The C++ Programming Language. 20-26 BibTeX
Erkan Tin, Varol Akman, Murat Ersan: Towards Situation-Oriented Programming Languages. 27-36 BibTeX
Max Copperman, Jeff Thomas: Poor Man's Watchpoints. 37-44 BibTeX
Henry G. Baker: 'Use-Once' Variables and Linear Objects - Storage Management, Reflection and Multi-Threading. 45-52 BibTeX
Pierre Mellier, François Grize: OVIDE: A Tool for Data Acquisition and Validation. 53-61 BibTeX

Volume 30, Number 2, February 1995

Giuseppe Castagna, Gary T. Leavens: Foundation of Object-Oriented Languages, 2nd Workshop Report. 5-11 BibTeX
Liisa Räihä: A Brief Look at Extension Programming Before and Now. 12-20 BibTeX
José A. Gallud, José M. García: The Specification of a Generic Multicomputer Using Lotos. 21-24 BibTeX
Steven J. Beaty: ParsesraP: Using One Grammar to Specify Both Input and Output. 25-32 BibTeX
Jean-Louis Boulanger: Object Oriented Method for Axiom. 33-41 BibTeX
Youfeng Wu: Strength Reduction of Multiplications by Integer Constants. 42-48 BibTeX
Szabolcs Ferenczi: Guarded Methods Vs. Inheritance Anomaly: Inheritance Anomaly Solved by Nested Guarded Method Calls. 49-58 BibTeX
Cyrus F. Nourani: Intelligent And Multi Agent Object Level Computing: The Preliminary Overview. 59-64 BibTeX

Volume 30, Number 3, March 1995

Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), San Francisco, CA, January 22, 1995 (POPL 1995 Workshop)
Contents

Volume 30, Number 4, April 1995

Jonathan L. Schilling: Dynamically-Valued Constants: An Underused Language Feature. 13-20 BibTeX
John English: Multithreading in C++. 21-28 BibTeX
John A. Trono: A Comparison of Three Strategies for Computing Letter Oriented, Minimal Perfect Hashing Functions. 29-35 BibTeX
Peter Kokol, Ivan Rozman, Vlado Venuti: User Interface Metrics. 36-38 BibTeX
Limsoon Wong: Polymorphic Queries Across Sets, Bags, and Lists. 39-44 BibTeX
Thant Tessman: Adding Generic Function to Scheme. 45-50 BibTeX
George Becker, Neil V. Murray: Efficient Execution of Programs with Static Semantics. 51-60 BibTeX
Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück: Fortran Program Specialization. 61-70 BibTeX
Marjan Mernik, Nikolaj Korbar, Viljem Zumer: LISA: A Tool for Automtic Language Implementation. 71-79 BibTeX
John F. Cigas: Proper Packaging Promotes Parameter Passing Profiency. 80 BibTeX

Volume 30, Number 5, May 1995

Bruno Stiglic, Marjan Hericko, Ivan Rozman: How to Evaluate Object-Oriented Software Development? 3-10 BibTeX
P. D. Terry: Umbriel - Another Minimal Programming Language. 11-17 BibTeX
Apostolos Syropoulos, Alexandros Karakos: Bottom in the Imperative World. 18-20 BibTeX
David L. Shang: Covariant Deep Subtyping Reconsidered. 21-28 BibTeX
Farooq Butt: Implementing FORTRAN77 Support in the GNU gdb Debugger. 29-36 BibTeX
Peter Kokol, Viljem Zumer, Janez Brest, Marjan Mernik: PROMIS: A Software Metrics Tool Generator. 37-42 BibTeX
Igor A. Borovikov: L-Systems with Inheritance: An Object-Oriented Extension of L-Systems. 43-60 BibTeX

Volume 30, Number 6, June 1995

Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, June 18-21, 1995
Contents

Volume 30, Number 7, July 1995

Samuel N. Kamin: Report of a Workshop on Future Directions in Programming Languages and Compilers. 9-28 BibTeX
Marco de Vivo, Gabriela O. de Vivo, Luis Gonzalez: A Brief Essay on Capabilities. 29-36 BibTeX
James W. Howatt: A Project-Based Approach to Programming Language Evaluation. 37-40 BibTeX
Jon. Hallett: Formulating Update Messages. 41-44 BibTeX
Pavol Návrat, Mária Bieliková: Representing Calendrical Algorithms and Data in Prolog and Prolog III. 45-51 BibTeX
Li XueDong, Guoliang Zheng: Introducing Virtual Instance Variables in Classes to Provide Sufficient Support for Encapsulation. 52-56 BibTeX

Volume 30, Number 8, August 1995

Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Santa Barbara, California, July 19-21, 1995.
Contents

Volume 30, Number 9, September 1995

Stuart Maclean, Sean Smith: Object-Oriented Programming for Embedded Systems. 3-8 BibTeX
Gabriela O. de Vivo, Marco de Vivo: A Pragmatic Approach to C++, Eiffel and Ada 9X Programming. 9-16 BibTeX
Henry G. Baker: CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A. 17-20 BibTeX
Chung-Kwong Yuen: A Functional FOR Loop. 21-24 BibTeX
Karl Traunmüller: The Checkers Problem: A Solution with Linear Time Complexity. 25-32 BibTeX
Brian L. Meek: What is a Procedure Call? 33-40 BibTeX
Jian Lu: Introducting Data Decomposition into VDM for Tractable Development of Programs. 41-50 BibTeX

Volume 30, Number 10, October 1995

OOPSLA'95, Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, 15-19 October 1995, Austin, Texas, USA, Proceedings.
Contents

Volume 30, Number 11, November 1995

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.
Contents

Volume 30, Number 12, December 1995

Conrad Weisert: Making C++ Practical for Business Applications: 3 Essential Classes. 4-8 BibTeX
Per Brinch Hansen: Efficient Parallel Recursion. 9-16 BibTeX
Tao Li: A Rule-based and Object-Oriented AI Programming Language. 17-24 BibTeX
Gansheng Li: A New Approach for Efficient Implementation of ADA Multi-Tasking. 25-31 BibTeX
John D. Ramsdell: CST: C State Transformers. 32-36 BibTeX
Zhu Genjiang, Xie Li, Sun Zhongxiu: A New Methodology of Data Dependence Analysis for Parallelizing C++. 37-42 BibTeX
Yves L. Noyelle: Disceplined C. 43-50 BibTeX
Zhang Xinger: An Approach to Executable Specifications, Based On Formal Source-To-Source Conversion. 51-58 BibTeX