ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 10 Issue 1, Jan. 1988

Incremental data-flow analysis algorithms
Barbara G. Ryder, Marvin C. Paull
Pages: 1-50
DOI: 10.1145/42192.42193
An incremental update algorithm modifies the solution of a problem that has been changed, rather than re-solving the entire problem. ACINCF and ACINCB are incremental update algorithms for forward and backward data-flow analysis, respectively,...

An overview of the SR language and implementation
Gregory R. Andrews, Michael Coffin, Irving Elshoff, Kelvin Nilson, Gregg Townsend, Ronald A. Olsson, Titus Purdin
Pages: 51-86
DOI: 10.1145/42192.42324
SR is a language for programming distributed systems ranging from operating systems to application programs. On the basis of our experience with the initial version, the language has evolved considerably. In this paper we describe the current...

A mathematical approach to nondeterminism in data types
Wim H. Hesselink
Pages: 87-117
DOI: 10.1145/42192.42194
The theory of abstract data types is generalized to the case of nondeterministic operations (set-valuedfunctions). Since the nondeterminism of operations may be coupled, signatures are extended so that operations can have results in Cartesian...

Systems semantics: principles, applications, and implementation
Ray Boute
Pages: 118-155
DOI: 10.1145/42192.45067
Systems semantics extends the denotational semantics of programming languages to a semantics for the description of arbitrary systems, including objects that are not computations in any sense. By defining different meaning functions, the same...

Specification and verification of liveness properties of cyclic, concurrent processes
Joylyn Reed, Raymond T. Yeh
Pages: 156-177
DOI: 10.1145/42192.42195
A technique is described for software specification and verification of concurrent, distributed systems. The complete specification of a program is given in terms of a hierarchical structure of module specifications. Module external...