Syntactic control of interference

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1978, Pages 39-46

  Reynolds, John C ^a  

^a SYRACUSE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL STORAGE;

CONSTRUCTIVE INTERFERENCE; HIGHER-ORDER; PROGRAMMING ERRORS; SIDE EFFECT; SYNTACTIC CONTROL; TYPE STRUCTURES; IDENTIFIERS; INTERFERENCE;

SYNTACTICS; COMPUTER PROGRAMMING LANGUAGES;

EID: 0018053595     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/512760.512766     Document Type: Conference Paper

References (14)

1. Wirth, N. The Programming Language PASCAL. Acta Informatica 1, (1971), pp. 35-63.
2. Van Wijngaarden, A. (ed.), Mailloux, B. J., Peck, J. E. L., and Koster, G. H. A. Report on the Algorithmic Language ALGOL 68. MR 101, Mathematisch Centrum, Amsterdam, February 1969.
3. Hoare, C. A. R. Towards a Theory of Parallel Programming. In Operating Systems Techniques, Academic Press, New York, 1972.
4. Hoare, C. A. R. Monitors: An Operating System Structuring Concept. Comm. ACM 17(October 1974), pp. 549-557.
5. Brinch-Hansen, P. Structured Multiprogramming. Comm. ACM 15(July 1972), pp. 574-577.
6. Hoare, C. A. R. Procedures and Parameters: An Axiomatic Approach. In Symposium on the Semantics of Algorithmic Languages (ed. E. Engeler). Springer, Berlin-Heidelberg-New York, 1971.
7. Popek, G. J., Horning, J. J., Lampson, B. W., Mitchell, J. G., and London, R. L. Notes on the Design of Euclid. In Proceedings of an ACM Conference on Language Design for Reliable Software, SIGPLAN Notices 12, no. 3(March 1977), pp. 11-18.
8. Dahl, O.-J. Hierarchical Program Structures. In Structured Programming, Academic Press, New York 1972.
9. Curry, H. B., and Feys, R. Combinatory Logic, Volume I. North-Holland, Amsterdam 1958.
10. Landin, P. J. A Correspondence Between ALGOL 60 and Church's Lambda Notation. Comm ACM 8(February and March 1965), pp. 89-101 and 158-165.
11. Henderson, P., and Morris, J. H., Jr. A Lazy Evaluator. Third ACM Symposium on Principles of Programming Languages (1976), pp. 95-103.
12. Friedman, D. P., and Wise, D. S., CONS Should Not Evaluate its Arguments. Third Int'l Colloquium on Automata, Languages, and Programming, Edinburgh University Press 1976, pp. 257-284.
13. Hoare, C. A. R. Proof of Correctness of Data Representations. Acta Informatica 1, pp. 271-281 (1972).
14. Reynolds, J. C. User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction. In New Directions in Algorithmic Languages 1975, ed. S. A. Schuman, I. R. I. A. 1975, pp. 157-168.