Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 4 Issue 3, July 1982

Symbolic Debugging of Optimized Code
John Hennessy
Pages: 323-344
DOI: 10.1145/357172.357173

Compact Storage of Binary Trees
Paolo Sipala
Pages: 345-361
DOI: 10.1145/357172.357174

Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm
Manfred Broy, Peter Pepper
Pages: 362-381
DOI: 10.1145/357172.357175

The Byzantine Generals Problem
Leslie Lamport, Robert Shostak, Marshall Pease
Pages: 382-401
DOI: 10.1145/357172.357176

Finite Differencing of Computable Expressions
Robert Paige, Shaye Koenig
Pages: 402-454
DOI: 10.1145/357172.357177

Proving Liveness Properties of Concurrent Programs
Susan Owicki, Leslie Lamport
Pages: 455-495
DOI: 10.1145/357172.357178

Deriving Target Code as a Representation of Continuation Semantics
Mitchell Wand
Pages: 496-517
DOI: 10.1145/357172.357179

ACM Algorithms Policy
Fred T. Krogh
Pages: 518-521
DOI: 10.1145/357172.357180