The objective is to analyse the publication of Carl Hewitt: The Incremental Garbage Collection of Processes
in terms of questions and answers. Compare the ideas to the ones already analyse in analysis of publications
and avoid to add duplicated ones.
What is the Church-Rosser
theorem ?
What is a Future
?
The evaluator does this by creating and returning for each subexpresslon a f uture, which is a promise to
deliver the value of that subexpression at some later time, if it has a value. Each future can evaluate its
subexpression independently and concurrently with other futures because it is created with its own evaluator
process, which is dedicated to evaluating its subexpression. When the value of a future is needed explicitly,
e.g. by the primitive function +
, the evaluator of the subexpression may or may not be complete. If it
Is complete, the future’s value is immediately available; if not, the requesting process is forced to wait
until the evaluation of the subexpression is done.