TOPLAS 1988
27 papers
- A Mathematical Approach to Nondeterminism in Data Types
- A Note on the Drinking Philosophers Problem
- A Solution to a Problem with Morel and Renvoise's "Global Optimization by Suppression of Partial Redundancies"
- ACE: An Automatic Complexity Evaluator
- Abstract Interaction Tools: A Language for User Interface Management Systems
- Abstract Types Have Existential Type
- An Ada Package for Dimensional Analysis
- An Overview of the SR Language and Implementation
- Analysis of Functional Programs to Detect Run-Time Garbage Cells
- Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems
- Control Predicates are Better than Dummy Variables for Reasoning about Program Control
- Determining the Extent of Lookahead in Syntactic Error Repair
- Director Strings as Combinators
- Distributed Cooperation with Action Systems
- Efficient Incremental LR Parsing for Syntax-Directed Editors
- Efficient Synchronization on Multiprocessors with Shared Memory
- Efficient and Correct Execution of Parallel Programs that Share Memory
- Fairness in Parallel Programs: The Transformational Approach
- Incremental Data-Flow Analysis
- On the (non-) Relationship between SLR(1) and NQLALR(1) Grammars
- Simple, Efficient Asynchronous Parallel Algorithms for Maximization
- Smarter Recompilation
- Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes
- System Semantics: Principles, Applications, and Implementation
- The Specification Statement
- Tichy's Response to R. W. Schwanke and G. E. Kaiser's "Smarter Recompilation"
- Type Extensions