Syntactic Control of Interference Revisited

  title={Syntactic Control of Interference Revisited},
  author={Peter W. O'Hearn and John Power and Makoto Takeyama and Robert D. Tennent},
  journal={Theor. Comput. Sci.},
In “syntactic control of interference” (POPL, 1978), J.C. Reynolds proposes three design principles intended to constrain the scope of imperative state e ects in Algol-like languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative concepts, having the desirable attributes of both purely functional languages (such as PCF) and simple imperative languages (such as the language of while programs). However, Reynolds points out that the… CONTINUE READING
Highly Cited
This paper has 87 citations. REVIEW CITATIONS


Publications citing this paper.

87 Citations

Citations per Year
Semantic Scholar estimates that this publication has 87 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 38 references

Syntactic Control of Interference

POPL • 1978
View 10 Excerpts
Highly Influenced

State in Haskell

Lisp and Symbolic Computation • 1995

Syntactic control of interference revisited

P. W. O'Hearn, A. J. Power, M. Takeyama, R. D. Tennent
S. Brookes, M. Main, A. Melton, and M. Mislove, editors, Mathematical Foundations of Programming Semantics, Eleventh Annual Conference, volume 1 of Electronic Notes in Theoretical Computer Science, Tulane University, New Orleans, Louisiana, March 29{April 1 • 1995
View 2 Excerpts

A mixed linear and non-linear logic: proofs, terms and models (preliminary report)

P. N. Benton
Technical Report 352, University of Cambridge Computer Laboratory, October • 1994

Passivity and Independence

LICS • 1994
View 2 Excerpts

A Model for Syntactic Control of Interference

Mathematical Structures in Computer Science • 1993
View 2 Excerpts

Similar Papers

Loading similar papers…