%O Report 
%F hmn04
%A Henglein, Fritz
%A Makholm, Henning
%A Niss, Henning
%T Effect type systems and region-based memory management
%I Department of Computer Science, University of Copenhagen (DIKU)
%X To appear as book chapter in Benjamin Pierce (ed.) ``Advanced Topics in Types and Programming Languages'', MIT Press, January\ 2005 This book chapter presents type-based program analysis based on \emph{type and effect systems} (or \emph{effect type systems}) and illustrates their application in \emph{region-based memory management}, which is the chapter's ultimate focus. Classical type systems express properties of values, not the computations leading to those values. \emph{Effect types} describe all important effects of computation, not just their results. Region-based memory management refers to programming where heap data is allocated in individually managed regions that are explicitly allocated and deallocated. As we shall see, state-of-the-art region-based memory management employs effect type systems to ensure \emph{region safety}, which guarantees that no accesses to unallocated or deallocated regions occur at run time
%D 2004