2 papers
cs.PL2026
Mason: Type- and Name-Guided Program Synthesis
Jasper Geer, Fox Huston, Jeffrey S. Foster
Object-oriented programs tend to be written using many common coding idioms, such as those captured by design patterns. While design patterns are useful, implementing them is often…
cs.PL2025
Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
Zachary Grannan, Aurea BÃlá, Jonáš Fiala +4
Rust's novel type system has proved an attractive target for verification and program analysis tools, due to the rich guarantees it provides for controlling aliasing and mutability…