External Links

Journal: ACM Transactions on Programming Languages and Systems

Volume 20, Issue 6

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

Volume 20, Issue 5

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

Volume 20, Issue 4

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

Volume 20, Issue 3

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

Volume 20, Issue 2

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

Volume 20, Issue 1

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