论文信息 - Syntactic control of interference

Syntactic control of interference

In programming languages which permit both assignment and procedures, distinct identifiers can represent data structures which share storage or procedures with interfering side effects. In addition to being a direct source of programming errors, this phenomenon, which we call interference can impact type structure and parallelism. We show how to eliminate these difficulties by imposing syntactic restrictions, without prohibiting the kind of constructive interference which occurs with higher-order procedures or SIMULA classes. The basic idea is to prohibit interference between identifiers, but to permit interference among components of collections named by single identifiers.

John C. Reynolds | J. C. Reynolds

[1] Butler W. Lampson,et al. Notes on the design of Euclid , 1977, Language Design for Reliable Software.

[2] P. J. Landin,et al. Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.

[3] Daniel P. Friedman,et al. CONS Should Not Evaluate its Arguments , 1976, ICALP.

[4] B. J. Mailloux,et al. Report on the Algorithmic Language ALGOL 68 , 1969 .

[5] J. LandinP.. Correspondence between ALGOL 60 and Church's Lambda-notation , 1965 .

[6] Per Brinch Hansen,et al. Structured multiprogramming , 1972, CACM.

[7] Peter Henderson,et al. A lazy evaluator , 1976, POPL.

[8] C. A. R. Hoare,et al. Procedures and parameters: An axiomatic approach , 1971, Symposium on Semantics of Algorithmic Languages.

[9] N. Falconer. Structured Programming , 1973, Nature.

[10] C. A. R. Hoare,et al. Monitors: an operating system structuring concept , 1974, CACM.

[11] B. J. Mailloux,et al. Report of Algorithmic Language ALGOL 68 , 1969 .

[12] H. B. Curry,et al. Combinatory Logic, Volume I. , 1961 .

[13] J. Bormann. A. van Wijngaarden (Ed.), B. J. Mailloux, J. E. L. Peck and C. H. A. Koster, Report on the Algorithmic Language ALGOL 68. Amsterdam 1969. Printing by the Mathematisch Centrum. Preis brosch. $ 4.50 . , 1970 .

[14] Tony Hoare,et al. Hierarchical Program Structures , 1972 .

[15] John F. Wakerly,et al. The programming language PASCAL , 1979, Microprocessors and microsystems.