Abstract
In 1978, we proposed that Algol-like languages should be constrained so that aliasing between variables and, more generally, interference between commands or procedures would be syntactically detectable in a fail-safe manner. In particular, we proposed syntactic restrictions that prohibited interference between distinct identifiers, while permitting interference between qualifications of the same identifier. However, these restrictions had the unfortunate property that syntactic correctness was not preserved by beta reduction.
In the present paper, we show how this difficulty can be avoided by the use of a variant of conjunctive types. We also give an algorithm for typechecking explicitly typed programs.
Research supported by NSF Grant CCR-8620191. A portion of the research was also sponsored by the Defense Advanced Research Projects Agency (DOD), ARPA Order No. 4976, under contract number F33615-87-C-1499, monitored by the Air Force Wright Aeronautical Laboratories, Wright-Patterson AFB, Ohio. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of any agency of the US Government.
Preview
Unable to display preview. Download preview PDF.
References
Brinch Hansen, P. Structured Multiprogramming. Communications of the ACM, vol. 15 (1972), pp. 574–578.
Coppo, M., Dezani-Ciancaglini, M., and Venneri, B. Functional Characters of Solvable Terms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 45–58.
Hoare, C. A. R. Monitors: An Operating System Structuring Concept. Communications of the ACM, vol. 17 (1974), pp. 549–557.
Hoare, C. A. R. Towards a Theory of Parallel Programming. In: Operating Systems Techniques, edited by C. A. R. Hoare and R. H. Perrott. Academic Press, London, 1972, pp. 61–71.
Reynolds, J. C. The Essence of Algol. In: Algorithmic Languages, edited by J. W. de Bakker and J. C. van Vliet. North-Holland, Amsterdam, 1981, pp. 345–372.
Reynolds, J. C. Preliminary Design of the Programming Language Forsythe. Report, no. CMU-CS-88-159, Carnegie Mellon University, Computer Science Department, June 1988.
Reynolds, J. C. Syntactic Control of Interference. In: Conference Record of the Fifth ACM Symposium on Principles of Programming Languages, Tucson. 1978, pp. 39–46.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reynolds, J.C. (1989). Syntactic control of interference Part 2. In: Ausiello, G., Dezani-Ciancaglini, M., Della Rocca, S.R. (eds) Automata, Languages and Programming. ICALP 1989. Lecture Notes in Computer Science, vol 372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035793
Download citation
DOI: https://doi.org/10.1007/BFb0035793
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51371-1
Online ISBN: 978-3-540-46201-9
eBook Packages: Springer Book Archive