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
  
• Zhu Genjiang, Xie Li, Sun Zhongxiu:
  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, Lu Jianfeng, Zeng Fancong, Dai Jingwen:
  Agent Language NUML and Its Reduction Implementation Model Based on HOpi. 41-48
  

Volume 29, Number 6, June 1994

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, Francisco Moura:
  Concurrency Annotations in C++. 61-67
  

Volume 29, Number 8, August 1994

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, Poul Bøgh Lassen:
  The IFAD VDM-SL toolbox: a practical approach to formal specifications. 77-80
  
• Bent Bruun Kristensen, Kasper Østerbye:
  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

Volume 29, Number 11, November 1994

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, Richard Gerber, Stephen P. Masticola:
  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, Monica S. Lam, John L. Hennessy:
  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