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 BibTeX
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 BibTeX
Wim H. Hesselink: A Mathematical Approach to Nondeterminism in Data Types. 87-117 BibTeX
Raymond T. Boute: System Semantics: Principles, Applications, and Implementation. 118-155 BibTeX
Joylyn Reed, Raymond T. Yeh: Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes. 156-177 BibTeX
Sandra L. Murphy, A. Udaya Shankar: A Note on the Drinking Philosophers Problem. 178-188 BibTeX

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

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

Ralph-Johan Back, Reino Kurki-Suonio: Distributed Cooperation with Action Systems. 513-554 BibTeX
Katsuro Inoue, Hiroyuki Seki, Hikaru Yagi: Analysis of Functional Programs to Detect Run-Time Garbage Cells. 555-578 BibTeX
Clyde P. Kruskal, Larry Rudolph, Marc Snir: Efficient Synchronization on Multiprocessors with Shared Memory. 579-601 BibTeX
Richard Kennaway, M. Ronan Sleep: Director Strings as Combinators. 602-626 BibTeX
Robert W. Schwanke, Gail E. Kaiser: Smarter Recompilation. 627-632 BibTeX
Walter F. Tichy: Tichy's Response to R. W. Schwanke and G. E. Kaiser's ``Smarter Recompilation''. 633-634 BibTeX
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 BibTeX