Carel S. Scholten

Learn More
As an example of cooperation between sequential processes with very little mutual interference despite frequent manipulations of a large shared data space, a technique is developed which allows nearly all of the activity needed for garbage detection and collection to be performed by an additional processor operating concurrently with the processor devoted(More)
In modern treatments of predicate calculus [2], no mention is made of states or variables up until the point where substitution is introduced. There, suddenly, the abstraction that reigned before is cast to the winds, and a substitution is defined as the result of a textual replacement of variable names by expressions. It is the purpose of this note to(More)
  • 1