22 citations · 23 across the 3 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Debugging Trait Errors as Logic Programs
Gavin Gray, Will Crichton
Rust uses traits to define units of shared behavior. Trait constraints build up an implicit set of first-order hereditary Harrop clauses which is executed by a powerful logic progr…
cs.PL2023★ 22 cited
A Grounded Conceptual Model for Ownership Types in Rust
Will Crichton, Gavin Gray, Shriram Krishnamurthi
Programmers learning Rust struggle to understand ownership types, Rust's core mechanism for ensuring memory safety without garbage collection. This paper describes our attempt to s…