Volume 17,
Number 1,
January 1995
- Jean-Marie Larchevêque:
Optimal Incremental Parsing.
1-15 BibTeX
- Yih-Kuen Tsay, Rajive Bagrodia:
Deducing Fairness Properties in UNITY Logic - A New Completeness Result.
16-27 BibTeX
- Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo:
Improving Abstract Interpretations by Combining Domains.
28-44 BibTeX
- Joseph P. Skudlarek:
Notes on "A Methodology for Implementing Highly Concurrent Data Objects".
45-46 BibTeX
,
->TOPLAS 15(5):
745-770 (1993)
- Jens Palsberg:
Closure Analysis in Constraint Form.
47-62 BibTeX
- Alexander Aiken, John H. Williams, Edward L. Wimmers:
Safe: A Semantic Technique for Transforming Programs in the Presence of Errors.
63-84 BibTeX
- Michael P. Gerlek, Eric Stoltz, Michael Wolfe:
Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA.
85-122 BibTeX
- Siddhartha Chatterjee, John R. Gilbert, Robert Schreiber, Shang-Hua Teng:
Optimal Evaluation of Array Expressions on Massively Parallel Machines.
123-156 BibTeX
- Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier:
Local and Temporal Predicates In Distributed Systems.
157-179 BibTeX
Volume 17,
Number 2,
March 1995
- Cliff Click, Keith D. Cooper:
Combining Analyses, Combining Optimizations.
181-196 BibTeX
- G. A. Venkatesh:
Experimental Results from Dynamic Slicing of C Program.
197-216 BibTeX
- Wie-Ngan Chin, Eak-Khoon Goh:
A Reexamination of "Optimization of Array Subscript Range Checks".
217-227 BibTeX
- Pei-Chi Wu, Feng-Jian Wang:
A Worst Case of Circularity Test Algorithms for Attribute Grammars.
228-232 BibTeX
- Anne Rogers, Martin C. Carlisle, John H. Reppy, Laurie J. Hendren:
Supporting Dynamic Data Structures on Distributed-Memory Machines.
233-263 BibTeX
- Jens Palsberg, Cun Xiao, Karl J. Lieberherr:
Efficient Implementation of Adaptive Software.
264-292 BibTeX
- Adam Brooks Webber:
Optimization of Functional Programs by Grammar Thinning.
293-330 BibTeX
- Saumya K. Debray:
On the Complexity of Dataflow Analysis of Logic Programs.
331-365 BibTeX
- Michal Walicki, Sigurd Meldal:
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.
366-393 BibTeX
an appendix (PostScript) is available
- Alan Carle, Lori L. Pollock:
Matching-Based Incremental Evaluators for Hierarchical Attribute Grammar Dialects.
394-429 BibTeX
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 BibTeX
- Jens Palsberg, Patrick O'Keefe:
A Type System Equivalent to Flow Analysis.
576-599 BibTeX
,
preliminary version:
POPL 1995:
367-378
- Milind Girkar, Constantine D. Polychronopoulos:
Extracting Task-Level Parallelism.
600-634 BibTeX
- Pascal Van Hentenryck, Viswanath Ramachandran:
Backtracking without Trailing in CLP(R-lin).
635-671 BibTeX
,
preliminary version:
PLDI 1994:
349-360
- Bruce J. McKenzie, Corey Yeatman, Lorraine De Vere:
Error Repair in Shift-Reduce Parsers.
672-689 BibTeX
,
Error Repair version of Bison
Volume 17,
Number 5,
September 1995
Volume 17,
Number 6,
November 1995
DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Copyright © Tue Mar 11 21:04:25 2008
by Michael Ley (ley@uni-trier.de)