TOPLAS 1982

35 papers

1. A Distributed Graph Algorithm: Knot Detection · Jayadev Misra, K. Mani Chandy
2. A Flexible Notation for Syntactic Definitions · M. Howard Williams
3. A Model for Implementing Euclid Modules and Prototypes · Richard C. Holt, David B. Wortman
4. A One-Pass Algorithm for Overload Resolution in Ada · Theodore P. Baker
5. A Structured APL System · J. Bergeron, A. Dubuque
6. A System for Assisting Program Transformation · Martin S. Feather
7. A Value Transmission Method for Abstract Data Types · Maurice Herlihy, Barbara Liskov
8. A Weaker Precondition for Loops · H. J. Boom
9. An Efficient Unification Algorithm · Alberto Martelli, Ugo Montanari
10. An Introduction to S/SL: Syntax/Semantic Language · Richard C. Holt, James R. Cordy, David B. Wortman
11. An O(n log n) Unidirectional Algorithm for the Circular Extrema Problem · Gary L. Peterson
12. Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm · Manfred Broy, Peter Pepper
13. Compact Storage of Binary Trees · Paolo Sipala
14. Data Type Specification: Parameterization and the Power of Specification Techniques · James W. Thatcher, Eric G. Wagner, Jesse B. Wright
15. Deriving Target Code as a Representation of Continuation Semantics · Mitchell Wand
16. Efficient Computation of LALR(1) Look-Ahead Sets · Frank DeRemer, Thomas J. Pennello
17. Error Data Values in the Data-Flow Language VAL · Charles S. Wetherell
18. Finite Differencing of Computable Expressions · Robert Paige, Shaye Koenig
19. Formal Specification of Graphic Data Types · William R. Mallgren
20. High-Level Language Implications of the Proposed IEEE Floating-Point Standard · Richard J. Fateman
21. Inessential Error Entries and Their Use in LR Parser Optimization · Eljas Soisalon-Soininen
22. On the Development of the Algebra of Functional Programs · John H. Williams
23. Programming with Equations · Christoph M. Hoffmann, Michael J. O'Donnell
24. Proving Liveness Properties of Concurrent Programs · Susan S. Owicki, Leslie Lamport
25. R/ for Semantics · Edward A. Ashcroft, William W. Wadge
26. Some Observations Concerning Formal Differentiation of Set Theoretic Expressions · Micha Sharir
27. Some Techniques for Recursion Removal from Recursive Programs · Jacques J. Arsac, Yves Kodratoff
28. Symbolic Debugging of Optimized Code · John L. Hennessy
29. Synchronization in Distributed Programs · Fred B. Schneider
30. Termination Detection of Diffusing Computations in Communicating Sequential Processes · Jayadev Misra, K. Mani Chandy
31. The Byzantine Generals Problem · Leslie Lamport, Robert E. Shostak, Marshall C. Pease
32. The Evaluation of Expressions in Icon · Ralph E. Griswold
33. The VAL Language: Description and Analysis · James R. McGraw
34. Transformational Derivation of a Garbage Collection Algorithm · Robert B. K. Dewar, Micha Sharir, Elia Weixelbaum
35. Using Peephole Optimization on Intermediate Code · Andrew S. Tanenbaum, Hans van Staveren, Johan W. Stevenson