Spegion: Implicit and Non-Lexical Regions with Sized Allocations

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…