most citedC-rusted: The Advantages of Rust, in C, without the Disadvantages

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2023★ 2 cited

C-rusted: The Advantages of Rust, in C, without the Disadvantages

Roberto Bagnara, Abramo Bagnara, Federico Serafini

C-rusted is an innovative technology whereby C programs can be (partly) annotated so as to express: ownership, exclusivity and shareability of language, system and user-defined res…