1 citations · 1 across the 6 of their papers we have counts for
Showing 2022 · cs.PLShow all
2 papers · 2 filters
cs.PL2022★ 1 cited
Necessity Specifications for Robustness
Julian Mackay, Sophia Drossopoulou, James Noble +1
Robust modules guarantee to do only what they are supposed to do - even in the presence of untrusted, malicious clients, and considering not just the direct behaviour of individual…
cs.PL2022
Rusty Links in Local Chains
James Noble, Julian Mackay, Tobias Wrigstad
Rust successfully applies ownership types to control memory allocation. This restricts the programs' topologies to the point where doubly-linked lists cannot be programmed in Safe…