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
Electronic Edition (ACM DL) BibTeX
Paul C. Attie, E. Allen Emerson:
Synthesis of Concurrent Systems with Many Similar Processes. 51-115
Electronic Edition (ACM DL) BibTeX
Eric Dujardin, Eric Amiel, Eric Simon:
Fast Algorithms for Compressed Multimethod Dispatch Table Generation. 116-165
Electronic Edition (ACM DL) BibTeX
Andrew K. Wright, Suresh Jagannathan:
Polymorphic Splitting: An Effective Polyvariant Flow Analysis. 166-207
Electronic Edition (ACM DL) BibTeX
Michael Leuschel, Bern Martens, Danny De Schreye:
Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. 208-258
Electronic Edition (ACM DL) BibTeX

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

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

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

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

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