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
,
->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
an appendix (PostScript) is available
- 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
- Christine Fricker, Olivier Temam, William Jalby:
Influence of Cross-Interferences on Blocked Loops: A Case Study with Matric-Vector Multiply.
561-575
- Jens Palsberg, Patrick O'Keefe:
A Type System Equivalent to Flow Analysis.
576-599
,
preliminary version:
POPL 1995:
367-378
- Milind Girkar, Constantine D. Polychronopoulos:
Extracting Task-Level Parallelism.
600-634
- Pascal Van Hentenryck, Viswanath Ramachandran:
Backtracking without Trailing in CLP(R-lin).
635-671 ,
preliminary version:
PLDI 1994:
349-360
- Bruce J. McKenzie, Corey Yeatman, Lorraine De Vere:
Error Repair in Shift-Reduce Parsers.
672-689
,
Error Repair version of Bison
Volume 17,
Number 5,
September 1995
Volume 17,
Number 6,
November 1995
Last update Fri May 25 09:48:09 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
