Syracuse University SURFACE
College of Engineering and Computer Science - Former Departments, Centers, Institutes and College of Engineering and Computer Science Projects
1995
Syntactic Control of Interference Revisited
Peter W. O'Hearn Syracuse University
A. J. Power University of Edinburgh
M. Takeyama University of Edinburgh
R. D. Tennent Queen's University
Follow this and additional works at: https://surface.syr.edu/lcsmith_other
Part of the Programming Languages and Compilers Commons
Recommended Citation O'Hearn, Peter W.; Power, A. J.; Takeyama, M.; and Tennent, R. D., "Syntactic Control of Interference Revisited" (1995). College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects. 12. https://surface.syr.edu/lcsmith_other/12
This Article is brought to you for free and open access by the College of Engineering and Computer Science at SURFACE. It has been accepted for inclusion in College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects by an authorized administrator of SURFACE. For more information, please contact [email protected].
O Hearn et al
Syntactic Control of Interference Revisited