Login / Signup
Campbell Ritchie
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Formal Languages
Dependency Directed Backtracking
Language Constructs
Provably Correct
Top Venues
J. Log. Algebraic Methods Program.
</>
Publications
</>
Steve Dunne
,
João F. Ferreira
,
Alexandra Mendes
,
Campbell Ritchie
,
Bill Stoddart
,
Frank Zeyda
bGSL: An imperative language for specification and refinement of backtracking programs.
J. Log. Algebraic Methods Program.
130 (2023)