(Enter summary)
Abstract: . Any multiprocessing facility must include three features: elementary exclusion, data
protection, and process saving. While elementary exclusion must rest on some hardware facility
(e.g., a test-and-set instruction), the other two requirements are fulfilled by features already
present in applicative languages. Data protection may be obtained through the use of procedures
(closures or funargs), and process saving may be obtained through the use of the catch operator.
The use of catch, in... (Update)
Cited by: More
Towards a Strongly Typed Functional Operating System - van Weelden, Plasmeijer (2003)
(Correct)
Controlling Effects - Filinski (1996)
(Correct)
Dynamic Language - Parallelization By Requirements
(Correct)
Active bibliography (related documents): More All
0.7: The Evolution of Lisp - Steele, Jr., Gabriel (1993)
(Correct)
0.3: Synchronization Mechenisms for. Moduim' Proremming Languages - Toby Oom January
(Correct)
0.3: A Foundation for Actor Computation - Gul Agha (1997)
(Correct)
Similar documents based on text: More All
0.1: Thread Level Parallelism of Desktop Applications - Flautner, Uhlig, al. (2000)
(Correct)
0.1: Performance Comparison of Desktop Multiprocessing and.. - Crandall, Sumithasri, .. (1996)
(Correct)
0.1: High Speed Transient Stability - A Multiprocessing Solution - Kwasnicki (1998)
(Correct)
Related documents from co-citation: More All
19: Adding threads to Standard ML
- Cooper, Morrisett - 1990
19: Revised 4 Report on the Algorithmic Language Scheme
- Rees, Clinger - 1991
18: Compiling with Continuations (context) - Appel - 1992
BibTeX entry: (Update)
Mitchell Wand. Continuation-Based Multiprocessing. In Conference Record of the 1980 Lisp Conference, pages 19--28, 1980. http://citeseer.ist.psu.edu/wand80continuationbased.html More
@inproceedings{ mitchell80continuationbased,
author = "Wand, Mitchell",
title = "Continuation-Based Multiprocessing",
booktitle = "Conference Record of the 1980 {LISP} Conference",
publisher = "The Lisp Company",
address = "Palo Alto, CA",
editor = "J. Allen",
pages = "19--28",
year = "1980",
url = "citeseer.ist.psu.edu/wand80continuationbased.html" }
Citations (may not include all citations):
239
Monitors: An operating system structuring concept (context) - Hoare - 1974
200
Viewing control structures as patterns of passing messages (context) - Hewitt - 1977
185
The Calculi of Lambda-Conversion (context) - Church - 1941
184
Definitional interpreters for higher-order programming langu.. (context) - Reynolds - 1972
86
A correspondence between ALGOL 60 and Church's lambda-notati.. (context) - Landin - 1965
84
The next 700 programming languages (context) - Landin - 1966
84
The Denotational Description of Programming Languages (context) - Gordon - 1979
72
Go to statement considered harmful (context) - Dijkstra - 1968
62
Programmer's Manual (context) - McCarthy - 1965
56
A Theory of Programming Language Semantics (context) - Milne, Strachey - 1976
49
Operating Systems Principles (context) - Hansen - 1973
34
Distributed processes: A concurrent programming concept (context) - Hansen - 1978
24
Protection in programming languages (context) - Morris - 1973
24
GEDANKEN -- a simple typeless language based on the principl.. (context) - Reynolds - 1970
24
MIT Artificial Intelligence Laboratory (context) - Holloway, Steele et al. - 1979
24
MIT Artificial Intelligence Laboratory (context) - Steele, The et al. - 1976
24
MIT Artificial Intelligence Laboratory (context) - Steele, Sussman et al. - 1978
24
MIT Artificial Intelligence Laboratory (context) - Steele, Sussman et al. - 1978
19
Hierarchical program structures (context) - Dahl, Hoare - 1972
12
Modula: a language for modular multiprogramming (context) - Wirth - 1977
11
The Architecture of Concurrent Programs (context) - Hansen - 1977
9
The Logical Design of Operating Systems (context) - Shaw - 1974
5
BLISS: A language for systems programming (context) - Wulf, Russell et al. - 1971
3
Form and content in computer science (context) - Minsky - 1970
3
Synchronization in actor systems (context) - Atkinson, Hewitt - 1977
1
Technical Report Technical Report No (context) - Wand, reference - 1980
1
and type checking (context) - Demers, Donahue et al. - 1980
1
FORTH for microcomputers (context) - James - 1978
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://ftp.ccs.neu.edu/pub/people/wand/papers/): More
Embedding Type Structure in Semantics - Wand (1985)
(Correct)
An Extensional Metalanguage with I/O and a Dynamic Store.. - Wand, al. (1995)
(Correct)
Denotational Semantics Using an Operationally-Based Term Model - Wand, Sullivan (1997)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC