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

Volume 10, Number 1, January 1988

• Barbara G. Ryder, Marvin C. Paull: Incremental Data-Flow Analysis. 1-50
• Gregory R. Andrews, Ronald A. Olsson, Michael H. Coffin, Irving Elshoff, Kelvin D. Nilsen, Titus D. M. Purdin, Gregg M. Townsend: An Overview of the SR Language and Implementation. 51-86
• Wim H. Hesselink: A Mathematical Approach to Nondeterminism in Data Types. 87-117
• Raymond T. Boute: System Semantics: Principles, Applications, and Implementation. 118-155
• Joylyn Reed, Raymond T. Yeh: Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes. 156-177
• Sandra L. Murphy, A. Udaya Shankar: A Note on the Drinking Philosophers Problem. 178-188

Volume 10, Number 2, April 1988

• Paul N. Hilfinger: An Ada Package for Dimensional Analysis. 189-203
• Niklaus Wirth: Type Extensions. 204-214
• Jan van den Bos: Abstract Interaction Tools: A Language for User Interface Management Systems. 215-247
• Daniel Le Métayer: ACE: An Automatic Complexity Evaluator. 248-266
• Leslie Lamport: Control Predicates are Better than Dummy Variables for Reasoning about Program Control. 267-281
• Dennis Shasha, Marc Snir: Efficient and Correct Execution of Parallel Programs that Share Memory. 282-312
• Albert G. Greenberg, Boris D. Lubachevsky, Andrew M. Odlyzko: Simple, Efficient Asynchronous Parallel Algorithms for Maximization. 313-337
• Manuel E. Bermudez, Karl M. Schimpf: On the (non-) Relationship between SLR(1) and NQLALR(1) Grammars. 338-342

Volume 10, Number 3, July 1988

• Pierpaolo Degano, Stefano Mannucci, Bruno Mojana: Efficient Incremental LR Parsing for Syntax-Directed Editors. 345-373
• Laura K. Dillon, George S. Avrunin, Jack C. Wileden: Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems. 374-402
• Carroll Morgan: The Specification Statement. 403-419
• Ernst-Rüdiger Olderog, Krzysztof R. Apt: Fairness in Parallel Programs: The Transformational Approach. 420-455
• Jon Mauney, Charles N. Fischer: Determining the Extent of Lookahead in Syntactic Error Repair. 456-469
• John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. 470-502

Volume 10, Number 4, October 1988

• Ralph-Johan Back, Reino Kurki-Suonio: Distributed Cooperation with Action Systems. 513-554
• Katsuro Inoue, Hiroyuki Seki, Hikaru Yagi: Analysis of Functional Programs to Detect Run-Time Garbage Cells. 555-578
• Clyde P. Kruskal, Larry Rudolph, Marc Snir: Efficient Synchronization on Multiprocessors with Shared Memory. 579-601
• Richard Kennaway, M. Ronan Sleep: Director Strings as Combinators. 602-626
• Robert W. Schwanke, Gail E. Kaiser: Smarter Recompilation. 627-632
• Walter F. Tichy: Tichy's Response to R. W. Schwanke and G. E. Kaiser's ``Smarter Recompilation''. 633-634
• Karl-Heinz Drechsler, Manfred P. Stadel: A Solution to a Problem with Morel and Renvoise's ``Global Optimization by Suppression of Partial Redundancies''. 635-640