default search action
SIGPLAN Notices, Volume 29
Volume 29, Number 1, January 1994
- Atanas Radenski:
Module Types, Module Variables, and Their Use as a Universal Encapsulation Mechanism. 3-8 - Peter Kokol:
The Self-Similarity and Computer Programs. 9-12 - Ming-Yuan Zhu:
Computational Reflection in PowerEpsilon. 13-19 - Zeng Li-Xin, Zhu Ming-Yuan:
Extending PowerEpsilon with Algebraic Rewriting. 20-26 - Aaron Kans, Clive Hayton:
Using ABC To Prototype VDM Specifications. 27-36 - John F. Reiser, Joseph P. Skudlarek:
Program Profiling Problems, and a Solution via Machine Language Rewriting. 37-45 - Damian Conway:
Parsing with C++ Classes. 46-52 - Martin J. Dürst:
Uniprep - Preparing a C/C++ Compiler for Unicode. 53 - Henk Alblas, Rieks op den Akker, Paul Oude Luttighuis, Klaas Sikkel:
A Bibliography on Parallel Parsing. 54-65
Volume 29, Number 2, February 1994
- Henry G. Baker:
A "Linear Logic" Quicksort. 13-18 - Genjiang Zhu, Li Xie, Zhongxiu Sun:
A Path-Based Method of Parallelizing C++ Programs. 19-24 - Kang Zhang:
A Review of Exploitation of And-Parallelism and Combined And/Or-Parallelism in Logic Programs. 25-32 - Boyko B. Bantchev:
Terminable Statements and Destructive Computation. 33-38 - Bob Brown:
Non-Linear Type Extensions. 39-43 - A. Michael Berman:
Does Scheme Enhance an Introductory Programming Course? Some Preliminary Empirical Results. 44-48
Volume 29, Number 3, March 1994
- Andrew P. Black, Jens Palsberg:
Foundations of Object-Oriented Languages - Workshop Report. 3-11 - Chung-Kwong Yuen, Ming-Dong Feng:
Parallel Multiplication: A Case Study in Parallel Programming. 12-17 - S. Srinivasan:
A Critical Look At Some Ada Features. 18-22 - Chung-Kwong Yuen:
Programming the Premature Loop Exit: From Functional to Navigational. 23-27 - Alexander Sakharov:
Propagation of Constants and Assertions. 28-32 - Michael Rizzo:
Using Producer and Consumer Manipulators to Extend Stream I/O Formatting in C++. 33-35
Volume 29, Number 4, April 1994
- K. S. R. Anjaneyulu:
Bug Analysis of Pascal Programs. 15-22 - Richard A. Frost:
Using Memoization to Achieve Polynomial Complexity of Purely Functional Executable Specifications of Non-Deterministic Top-Down Parsers. 23-30 - Jean-Luc Dekeyser, Dominique Lazure, Philippe Marquet:
A Geometrical Data-Parallel Language. 31-40 - Jon Loeliger, Robert Metzger:
Developing An Interprocedural Optimizing Compiler. 41-48 - Brian L. Meek:
Programming Languages: Towards Greater Commonality. 49-57 - Henry G. Baker:
Thermodynamics and Garbage Collection. 58-63
Volume 29, Number 5, May 1994
- Alexander Sakharov:
Propagation of Constants and Assertions. 3-6 - Gerardo Cisneros:
Configurable REC. 7-16 - Birger Andersen
:
A General, Fine-Grained, Machine Independent, Object-Oriented Language. 17-26 - Scott Burson:
Continuations Without Copying. 27-30 - Ahsan J. Sharafuddin, Nathan Ida, James E. Grover:
Passing Large Dynamic Objects out of Function Frame Boundaries: The Temporary Linked List Method. 31-36 - Emilia Zivkova:
Experience in Teaching Object-Oriented Programming with C++. 37-40 - Manwu Xu, Jianfeng Lu, Fancong Zeng, Jinwen Dai:
Agent Language NUML and Its Reduction Implementation Model Based on HOpi. 41-48
Volume 29, Number 6, June 1994
- Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa:
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994. ACM 1994, ISBN 0-89791-662-X [contents]
Volume 29, Number 7, July 1994
- Thomas Kühne
Higher Order Objects in pure Object-Oriented Languages. 15-20 - Peter Grogono, Mark Gargul:
A Graph Model for Object Oriented Programming. 21-28 - Frank van der Linden:
Formal Methods: From Object-Based to Object-Oriented. 29-38 - Andrew Davison:
KL1 and the Early Days of the FGCS Project. 39-41 - Pei-Chi Wu, Feng-Jian Wang:
Is Circularity for Attribute Grammars Exponential-Time Complete? 42 - Tereza G. Kirner:
Detection of Cycle in Real-Time System Specification. 43-50 - Michael Wolfe:
J+ = J. 51-53 - Lev J. Dyadkin:
Multibox Parsers. 54-60 - Carlos Baquero
Concurrency Annotations in C++. 61-67
Volume 29, Number 8, August 1994
- Jeannette M. Wing, Richard L. Wexelblat:
Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994. ACM Press 1994 [contents]
Volume 29, Number 9, September 1994
- Damian Conway:
Parsing with C++ Deferred Expressions. 9-16 - Alexander B. Romanovsky
About Conversations for Concurrent OO Languages. 17-21 - Christophe G. Giraud-Carrier
A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages. 22-28 - Timothy P. Justice, Rajeev K. Pandey, Timothy A. Budd:
A Multiparadigm Approach to Compiler Construction. 29-37 - Henry G. Baker:
Minimum Reference Count Updating with Deferred and Anchored Pointers for Functional Data Structures. 38-43 - Michael A. Klug:
Basic operations of the VisiCola scope model. 44-50 - Chung-Kwong Yuen, Ming-Dong Feng:
Breadth-first search in the Eight Queens Problem. 51-55 - Myriam Desainte-Catherine, Kablan Barbar:
Using attribute grammars to find solutions for musical equational programs. 56-63 - Pei-Chi Wu, Feng-Jian Wang:
Padded string: treating string as sequence of machine words. 64-67 - Pei-Chi Wu, Feng-Jian Wang:
Pool: an unbounded array. 68-71 - Jing Li, Yulin Feng:
A production system language KDOPS. 72-76 - René Elmstrøm, Peter Gorm Larsen
The IFAD VDM-SL toolbox: a practical approach to formal specifications. 77-80 - Bent Bruun Kristensen
Conceptual modeling and programming languages. 81-90 - Anthony H. Dekker:
The game of life: a CLEAN programming tutorial and case study. 91-114 - João José Neto
Adaptive automata for context-dependent languages. 115-124 - Vladimir I. Shelekhov, Sergey V. Kuksenko:
Object analysis of program. 125-134 - Zerksis D. Umrigar:
Fully static dimensional analysis with C++. 135-139 - Weiming Gu, Jeffrey S. Vetter, Karsten Schwan:
An annotated bibliography of interactive program steering. 140-148 - Nandakumar Sankaran:
A bibliography on garbage collection and related topics. 149-158 - Brian L. Meek:
A taxonomy of datatypes. 159-167
Volume 29, Number 10, October 1994
- Jeff McKenna, J. Eliot B. Moss, Richard L. Wexelblat:
Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1994, Portland, Oregon, USA, October 23-27, 1994. ACM 1994, ISBN 0-89791-688-3 [contents]
Volume 29, Number 11, November 1994
- Forest Baskett, Douglas W. Clark:
ASPLOS-VI Proceedings - Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 4-7, 1994. ACM Press 1994, ISBN 0-89791-660-3 [contents]
Volume 29, Number 12, December 1994
- Thilo Kielmann, Mira Mezini, Arjan Loeffen:
4th Workshop for Doctoral Student in Object-Oriented Systems, Held in Conjunction with ECOOP'94 (Report). 7-10 - Azer Bestavros
ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop). 11-17 - Joseph Bergin:
A Report on Object-Oriented Extensions to Pascal. 18-24 - Amit Ganesh:
Fusing Loops With Backward Inter Loop Data Dependence. 25-30 - Robert P. Wilson, Robert S. French, Christopher S. Wilson, Saman P. Amarasinghe, Jennifer-Ann M. Anderson, Steven W. K. Tjiang, Shih-Wei Liao, Chau-Wen Tseng, Mary W. Hall
SUIF: An Infrastructure for Research on Parallelizing and Optimizing Compilers. 31-37 - Brian Mallo, John D. McGregor, Anand Krishnaswamy, Murali Medikonda:
An Extensible Program Representation for Object-Oriented Software. 38-47 - Wim Codenie, Koen D'Hont, Theo D'Hondt, Patrick Steyaert:
Agora: Message Passing as a Foundation for Exploring OO Language Concepts. 48-57 - David L. Shang:
Covariant Specification. 58-65 - Michael L. Nelson:
Considerations in Choosing a Concurrent/Distributed Object-Oriented Programming Language. 66-71 - Conrad Weisert:
Comment on Poor Practice in Coding Examples. 72 - Farooq Butt:
Rapid Development of a Source-Level Debugger for PowerPC Microprocessors. 73-77 - Rakesh Agarwal:
The C++ Interface in Objectivity. 78-86 - Joseph P. Skudlarek:
Remarks on A Methodoly for Implementing Highly Concurrent Data Objects. 87-93 - Bruce Hahne, Hiroyuki Sato:
Using YACC and Lex with C++. 94-103 - Thomas Wang:
Better C: An Object-Oriented C Language with Automatic Memory Manager Suitable for Interactive Applications. 104-111 - Thomas Wang:
Eliminate Memory Fragmentation through Holes in the Heap. 112-113
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 2024-11-22 19:34 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: