Carel S. Scholten
According to our database1, Carel S. Scholten authored at least 4 papers between 1975 and 1996.
Legend:Book In proceedings Article PhD thesis Other
Sci. Comput. Program., 1996
Predicate Calculus and Program Semantics.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-3228-5, 1990
Termination Detection for Diffusing Computations.
Inf. Process. Lett., 1980
On-the-fly garbage collection: an exercise in cooperation.
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975