Carel S. Scholten

According to our database, Carel S. Scholten authored at least 5 papers between 1978 and 2022.

Collaborative distances:

• Dijkstra number of one.
• Erdős number of four.

2022

On-the-Fly Garbage Collection: An Exercise in Cooperation.

Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

1996

Point-free Substitution.

A. Bijlsma, Carel S. Scholten

Sci. Comput. Program., 1996

1990

Predicate Calculus and Program Semantics.

Edsger W. Dijkstra, Carel S. Scholten

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-3228-5, 1990

1980

Termination Detection for Diffusing Computations.

Edsger W. Dijkstra, Carel S. Scholten

Inf. Process. Lett., 1980

1978

On-the-Fly Garbage Collection: An Exercise in Cooperation.

Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens

Commun. ACM, 1978