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

Volume 12, Number 1, January 1990

Geoffrey Clemm, Leon J. Osterweil: A Mechanism for Environment Integration. 1-25
Susan Horwitz, Thomas W. Reps, David Binkley: Interprocedural Slicing Using Dependence Graphs. 26-60
Vance E. Waddle: Production Trees: A Compact Representation of Parsed Programs. 61-83
Ephraim Korach, Shay Kutten, Shlomo Moran: A Modular Technique for the Design of Efficient Distributed Leader Finding Algorithms. 84-101
Shing-Tsaan Huang: A Distributed Deadlock Detection Algorithm for CSP-Like Communication. 102-122
William M. Farmer, John D. Ramsdell, Ronald J. Watro: A Correctness Proof for Combinator Reduction with Cycles. 123-134
F. Warren Burton: Type Extension Through Polymorphism. 135-138
David Lorge Parnas: On Iterative Constructs. 139-141

Brad A. Myers: Creating User Interfaces Using Programming by Example, Visual Programming, and Constraints. 143-177
William E. Weihl: Linguistic Support for Atomic Data Types. 178-202
Edgar Knapp: An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs. 203-223
Jared L. Darlington: Search Direction by Goal Failure in Goal-Directed Programming. 224-252
Annalisa Bossi, Nicoletta Cocco, S. Dulli: A Method for Specializing Logic Programs. 253-302
Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper: Adding Liveness Properties to Coupled Finite-State Machines. 303-339

Michael G. Burke: An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis. 341-395
Leslie Lamport: win and sin: Predicate Transformers for Concurrency. 396-428
Larry G. Jones: Efficient Evaluation of Circular Attribute Grammars. 429-462
Maurice Herlihy, Jeannette M. Wing: Linearizability: A Correctness Condition for Concurrent Objects. 463-492

Fred C. Chow, John L. Hennessy: The Priority-Based Coloring Approach to Register Allocation. 501-536
James W. Stamos, David K. Gifford: Remote Evaluation. 537-565
Prasun Dewan, Marvin H. Solomon: An Approach to Support Automatic Generation of User Interfaces. 566-609
Hans Leiß: On Kilbury's Modification of Earley's Algorithm. 610-640
Laura K. Dillon: Using Symbolic Execution for Verification of Ada Tasking Programs. 643-669
Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf: A Comparative Evaluation of Object Definition Techniques. 670-699