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

Volume 20, Number 1, January 1998

• Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm:
  Solving Shape-Analysis Problems in Languages with Destructive Updating. 1-50
  
• Paul C. Attie, E. Allen Emerson:
  Synthesis of Concurrent Systems with Many Similar Processes. 51-115
  
• Eric Dujardin, Eric Amiel, Eric Simon:
  Fast Algorithms for Compressed Multimethod Dispatch Table Generation. 116-165
  
• Andrew K. Wright, Suresh Jagannathan:
  Polymorphic Splitting: An Effective Polyvariant Flow Analysis. 166-207
  
• Michael Leuschel, Bern Martens, Danny De Schreye:
  Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. 208-258
  

Volume 20, Number 2, March 1998

• Thomas W. Reps:
  "Maximal-munch" Tokenization in Linear Time. 259-273
  
• Jun Lang, David B. Stewart:
  A Study of the Applicability of Existing Exception-Handling Techniques to Component-Base Real-Time Software Technology. 274-301
  
• Daniel Jackson, Somesh Jha, Craig Damon:
  Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. 302-343
  
• Rémi Douence, Pascal Fradet:
  A Systematic Study of Functional Language Implementations. 344-387
  
• Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee:
  A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs. 388-435
  
• Naoki Kobayashi:
  A Partially Deadlock-Free Typed Process Calculus. 436-482
  

Volume 20, Number 3, May 1998

• Martin C. Rinard, Monica S. Lam:
  The Design, Implementation, and Evaluation of Jade. 483-545
  
• Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum:
  Static Caching for Incremental Computation. 546-585
  
• Konstantinos F. Sagonas, Terrance Swift:
  An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. 586-634
  
• William Pugh, David Wonnacott:
  Constraint-Based Array Dependence Analysis. 635-678
  
• Wan Fokkink, Jasper Kamperman, Pum Walters:
  Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems. 679-706
  

Volume 20, Number 4, July 1998

• Oukseh Lee, Kwangkeun Yi:
  Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. 707-723
  
• Mads Tofte, Lars Birkedal:
  A Region Inference Algorithm. 724-767
  
• María Alpuente, Moreno Falaschi, Germán Vidal:
  Partial Evaluation of Functional Logic Programs. 768-844
  
• J. Michael Ashley, R. Kent Dybvig:
  A Practical and Flexible Flow Analysis for Higher-Order Languages. 845-868
  
• Ken Kennedy, Ulrich Kremer:
  Automatic Data Layout for Distributed-Memory Machines. 869-916
  

Volume 20, Number 5, September 1998

• Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata:
  Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. 917-979
  
• Tim A. Wagner, Susan L. Graham:
  Efficient and Flexible Incremental Parsing. 980-1013
  
• Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf:
  Alma-O: An Imperative Language That Supports Declarative Programming. 1014-1066
  
• Roberto Giacobazzi, Francesca Scozzari:
  A Logical Model for Relational Abstract Domains. 1067-1109
  

Volume 20, Number 6, November 1998

• Dhananjay M. Dhamdhere, K. V. Sankaranarayanan:
  Dynamic Currency Determination in Optimized Programs. 1111-1130
  
• Saniya Ben Hassen, Henri E. Bal, Ceriel J. H. Jacobs:
  A Task- and Data-Parallel Programming Language Based on Shared Objects. 1131-1170
  
• Rajeev Alur, Thomas A. Henzinger:
  Finitary Fairness. 1171-1194
  
• Tao Yang, Cong Fu:
  Space/Time-Efficient Scheduling and Execution of Parallel Irregular Computations. 1195-1222
  
• Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap:
  Optimizing Compilation of CLP(R). 1223-1250
  
• Jens Palsberg:
  Equality-based flow analysis versus recursive types. 1251-1264
  
• Adam L. Buchsbaum, Haim Kaplan, Anne Rogers, Jeffery Westbrook:
  A New, Simpler Linear-Time Dominators Algorithm. 1265-1296
  
• Max Hailperin:
  Cost-Optimal Code Motion. 1297-1322