default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM 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. ACM Trans. Program. Lang. Syst. 10(1): 178-188 (1988)
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 E. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 12:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
