94 citations · 97 across the 4 of their papers we have counts for
1 paper · 1 filter
Jack Hughes, Michael Vollmer, Mark Batty
Region based memory management is a powerful tool designed with the goal of ensuring memory safety statically. The region calculus of Tofte and Talpin is a well known example of a…