Campbell Ritchie

According to our database, Campbell Ritchie authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2023

bGSL: An imperative language for specification and refinement of backtracking programs.

Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda

J. Log. Algebraic Methods Program., 2023