SIGPLAN Notices, Volume 30

Volume 30, Number 1, January 1995

Dianxiang Xu, Guoliang Zheng:
Logical Objects with Constraints. 5-10
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
Erkan Tin, Varol Akman, Murat Ersan:
Towards Situation-Oriented Programming Languages. 27-36
Max Copperman, Jeff Thomas:
Poor Man's Watchpoints. 37-44
Henry G. Baker:
'Use-Once' Variables and Linear Objects - Storage Management, Reflection and Multi-Threading. 45-52
Pierre Mellier, François Grize:
OVIDE: A Tool for Data Acquisition and Validation. 53-61

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
José A. Gallud, José M. García:
The Specification of a Generic Multicomputer Using Lotos. 21-24
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

(POPL 1995 Workshop)

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
Peter Kokol, Ivan Rozman, Vlado Venuti:
User Interface Metrics. 36-38
Limsoon Wong:
Polymorphic Queries Across Sets, Bags, and Lists. 39-44
Thant Tessman:
Adding Generic Function to Scheme. 45-50
George Becker, Neil V. Murray:
Efficient Execution of Programs with Static Semantics. 51-60
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
Apostolos Syropoulos, Alexandros Karakos:
Bottom in the Imperative World. 18-20
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
Marco de Vivo, Gabriela O. de Vivo, Luis Gonzalez:
A Brief Essay on Capabilities. 29-36
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

Stuart Maclean, Sean Smith:
Object-Oriented Programming for Embedded Systems. 3-8
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
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

Last update Tue May 21 19:36:20 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page