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

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

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

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

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

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

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