6 citations · 13 across the 6 of their papers we have counts for
1 paper · 1 filter
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…