ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 17

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

• Giuseppe Castagna:
  Covariance and Contravariance: Conflict without a Cause. 431-447
  
• W. Homer Carlisle:
  Type Checking Concurrent I/O. 448-460
  
• Todd A. Proebsting:
  BURS Automata Generation. 461-486
  
• Ron Cytron, Jeanne Ferrante:
  Efficientlty Computing Phi-Nodes On-The-Fly. 487-506
  
• Martín Abadi, Leslie Lamport:
  Conjoining Specifications. 507-534
  
• Manhoi Choy, Ambuj K. Singh:
  Efficient Fault-Tolerant Algorithms for Distributed Resource Allocation. 535-559
  

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
  

Volume 17, Number 5, September 1995

• Anthony M. Sloane:
  An Evaluation of an Automatically Generated Compiler. 691-703
  
• Henry Cejtin, Suresh Jagannathan, Richard Kelsey:
  Higher-Order Distributed Objects. 704-739
  
• Steven M. Kurlander, Todd A. Proebsting, Charles N. Fischer:
  Efficient Instruction Scheduling for Delayed-Load Architectures. 740-776
  
• Stephen P. Masticola, Thomas J. Marlowe, Barbara G. Ryder:
  Lattice Frameworks for Multiscore and Bidirectional Data Flow Problems. 777-803
  

Volume 17, Number 6, November 1995

• Craig Chambers, Gary T. Leavens:
  Typechecking and Modules for Multimethods. 805-843
  
• Atsushi Ohori:
  A Polymorphic Record Calculus and Its Compilation. 844-895
  
• R. C. Sekar, I. V. Ramakrishnan:
  Fast Strictness Analysis Based on Demand Propagation. 896-937
  

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