Continuation-based multiprocessing

Higher-Order and Symbolic Computation

Volumn 12, Issue 3, 1999, Pages 285-299

  Wand, Mitchell ^a,b  

^a INDIANA UNIVERSITY   (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; SECURITY OF DATA;

CONTINUATION-BASED MULTIPROCESSING;

MULTIPROCESSING SYSTEMS;

EID: 0032598034     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1010093700911     Document Type: Article

References (28)

1. Atkinson, R. and Hewitt, C. Synchronization in actor systems. In Conf. Rec. 4th ACM Symp. on Principles of Programming Languages. 1977, pp. 267-280.
2. Brinch Hansen, P. Operating Systems Principles. Prentice-Hall, Englewood Cliffs, NJ, 1973.
3. Brinch Hansen, P. The Architecture of Concurrent Programs. Prentice-Hall, Englewood Cliffs, NJ, 1977.
4. Brinch Hansen, P. Distributed processes: A concurrent programming concept. Comm. ACM, 21:934-941, 1978.
5. Church, A. The calculi of lambda-conversion. Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1941.
6. Dahl, O.-J. and Hoare, C.A.R. Hierarchical program structures. In Structured Programming, O.-J. Dahl, E.W. Dijkstra, and C.A.R. Hoare (Eds.). Academic Press, London, 1972, pp. 175-220.
7. Demers, A.J. and Donahue, J.E. Data types, parameters, and type checking. In Conf. Rec. 7th Ann. ACM Symp. on Principles of Programming Languages. 1980, pp. 12-23.
8. Dijkstra, E.W. Go to statement considered harmful. Comm. ACM, 11:147-148, 1968.
9. Gordon, M.J.C. The Denotational Description of Programming Languages. Springer, 1979.
10. Hewitt, C.E. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8:323-364, 1977.
11. Hoare, C.A.R. Monitors: An operating system structuring concept. Comm. ACM, 17:549-557, 1974.
12. Holloway, J., Steele, G.L., Sussman, G.J., and Bell, A. The SCHEME-79 chip. AI Memo 559, MIT Artificial Intelligence Laboratory, December 1979.
13. James, J.S. FORTH for microcomputers. SIGPLAN Notices, 13(10):33-39, 1978.
14. Landin, P.J. A correspondence between ALGOL 60 and Church's lambda-notation: Part I. Comm. ACM, 8:89-101, 1965.
15. Landin, P.J. The next 700 programming languages. Comm. ACM, 9:157-166, 1966.
16. McCarthy, J. et al. LISP 1.5 Programmer's Manual. MIT Press, Cambridge, MA, 1965.
17. Milne, R. and Strachey, C. A Theory of Programming Language Semantics. Chapman and Hall, London and Wiley, New York, 1976.
18. Minsky, M. Form and content in computer science. J. ACM, 17:197-215, 1970.
19. Morris, J.H. Protection in programming languages. Comm. ACM, 16:15-21, 1973.
20. Reynolds, R.C. GEDANKEN - a simple typeless language based on the principle of completeness and the reference concept. Comm. ACM, 13:308-319, 1970.
21. Reynolds, J.C. Definitional interpreters for higher-order programming languages. In Proc. ACM National Conf., 1972, pp. 717-740.
22. Shaw, A.C. The Logical Design of Operating Systems. Prentice-Hall, Englewood Cliffs, NJ, 1974.
23. Steele, G.L. LAMBDA: The ultimate declarative. AI Memo 379, MIT Artificial Intelligence Laboratory, October 1976.
24. Steele, G.L. and Sussman, G.J. The art of the interpreter, or the modularity complex. AI Memo 453, MIT Artificial Intelligence Laboratory, May 1978.
25. Steele, G.L. and Sussman, G.J. The revised report on SCHEME. AI Memo 452, MIT Artificial Intelligence Laboratory, January 1978.
26. Wand, M. SCHEME version 3.1 reference manual. Technical Report No. 93, Indiana University Computer Science Department, June 1980.
27. Wirth, N. Modula: A language for modular multiprogramming. Software-Practice and Experience, 7:3-35, 1977.
28. Wulf, W.A., Russell, D.B., and Habermann, A.N. BLISS: A language for systems programming. Comm. ACM, 14:780-790, 1971.