Volume 29,
Number 1,
January 1994
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
Volume 29,
Number 4,
April 1994
Volume 29,
Number 5,
May 1994
Volume 29,
Number 6,
June 1994
Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation (PLDI)
Contents
Volume 29,
Number 7,
July 1994
Volume 29,
Number 8,
August 1994
Jeannette M. Wing (Ed.):
Proceedings of the Workshop on Interface Definition Languages,
January 20,
1994,
Portland,
Oregon,
in conjunction with POPL 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, 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
OOPSLA'94,
Ninth Annual Conference on Object-Oriented Programming Systems,
Languages,
and Applications,
23-27 October,
Portland,
Oregon,
USA,
Proceedings.
Contents
Volume 29, Number 11, November 1994
Forest Baskett, Douglas W. Clark (Eds.):
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, 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
Last update Wed Feb 15 04:46:23 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
