default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGPLAN 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:
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 - 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:
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 - XueDong Li, 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:
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:
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1995, 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:
Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers, & Tools for Real-Time Systems (LCT-RTS 1995). La Jolla, California, USA, 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:
Disciplined C. 43-50 - Zhang Xinger:
An Approach to Executable Specifications, Based On Formal Source-To-Source Conversion. 51-58
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.
last updated on 2025-12-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
