Carel S. Scholten

According to our database1, Carel S. Scholten authored at least 5 papers between 1975 and 1996.

Collaborative distances:
  • Dijkstra number2 of one.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

1996
Point-free Substitution.
Sci. Comput. Program., 1996

1990
Predicate Calculus and Program Semantics.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-3228-5, 1990

1980
Termination Detection for Diffusing Computations.
Inf. Process. Lett., 1980

1978
On-the-Fly Garbage Collection: An Exercise in Cooperation.
Commun. ACM, 1978

1975
On-the-fly garbage collection: an exercise in cooperation.
Proceedings of the Language Hierarchies and Interfaces, International Summer School, Marktoberdorf, Germany, July 23, 1975


  Loading...