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

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

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

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