Volume 17, Number 1, January 1995
- Jean-Marie Larchevêque:
Optimal Incremental Parsing.
1-15

- Yih-Kuen Tsay, Rajive Bagrodia:
Deducing Fairness Properties in UNITY Logic - A New Completeness Result.
16-27

- Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo:
Improving Abstract Interpretations by Combining Domains.
28-44

- Joseph P. Skudlarek:
Notes on "A Methodology for Implementing Highly Concurrent Data Objects".
45-46, (see: TOPLAS 15(5): 745-770 (1993))

- Jens Palsberg:
Closure Analysis in Constraint Form.
47-62

- Alexander Aiken, John H. Williams, Edward L. Wimmers:
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.
63-84

- Michael P. Gerlek, Eric Stoltz, Michael Wolfe:
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA.
85-122

- Siddhartha Chatterjee, John R. Gilbert, Robert Schreiber, Shang-Hua Teng:
Optimal Evaluation of Array Expressions on Massively Parallel Machines.
123-156

- Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier:
Local and Temporal Predicates In Distributed Systems.
157-179

Volume 17, Number 2, March 1995
- Cliff Click, Keith D. Cooper:
Combining Analyses, Combining Optimizations.
181-196

- G. A. Venkatesh:
Experimental Results from Dynamic Slicing of C Program.
197-216

- Wie-Ngan Chin, Eak-Khoon Goh:
A Reexamination of "Optimization of Array Subscript Range Checks".
217-227

- Pei-Chi Wu, Feng-Jian Wang:
A Worst Case of Circularity Test Algorithms for Attribute Grammars.
228-232

- Anne Rogers, Martin C. Carlisle, John H. Reppy, Laurie J. Hendren:
Supporting Dynamic Data Structures on Distributed-Memory Machines.
233-263

- Jens Palsberg, Cun Xiao, Karl J. Lieberherr:
Efficient Implementation of Adaptive Software.
264-292

- Adam Brooks Webber:
Optimization of Functional Programs by Grammar Thinning.
293-330

- Saumya K. Debray:
On the Complexity of Dataflow Analysis of Logic Programs.
331-365

- Michal Walicki, Sigurd Meldal:
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.
366-393

- Alan Carle, Lori L. Pollock:
Matching-Based Incremental Evaluators for Hierarchical Attribute Grammar Dialects.
394-429

Volume 17, Number 3, May 1995
Volume 17, Number 4, July 1995
Volume 17, Number 5, September 1995
Volume 17, Number 6, November 1995
Last update Sat May 18 20:59:54 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page