Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 15 Issue 5, Nov. 1993

A methodology for implementing highly concurrent data objects
Maurice Herlihy
Pages: 745-770
DOI: 10.1145/161468.161469
A concurrent object is a data structure shared by concurrent processes. Conventional techniques for implementing concurrent objects typically rely on critical sections; ensuring that only one process at a time...

Mathematical foundations for time warp systems
Jonathan I. Leivent, Ronald J. Watro
Pages: 771-794
DOI: 10.1145/161468.161470
We develop a simple formal model of the Time Warp approach to distributed computation, prove several important properties of the model, and devise some extensions to Time Warp that provide improved termination behavior. Our model consists of...

Reasoning about naming systems
Mic Bowman, Saumya K. Debray, Larry L. Peterson
Pages: 795-825
DOI: 10.1145/161468.161471

Cost analysis of logic programs
Saumya K. Debray, Nai-Wei Lin
Pages: 826-875
DOI: 10.1145/161468.161472

Procedural implementation of algebraic specification
Huimin Lin
Pages: 876-895
DOI: 10.1145/161468.161473
An implementation of an algebraic specification in an imperative programming language consists of a representation type, together with an invariant and an equivalence relation over it, and a procedure for each operator in the specification. A...