Memory management is usually offloaded to runtime (tracing GC / Reference Counting) except those variables which can be stack allocated by escape analysis.
While rust claims to eliminate it, it still needs a lots of care around lifetimes, scope etc... It however brings some good concepts to the table.
apart from rust, I have found some papers on mercury logic programming language, cyclone etc..
Can I get references / links to previous work on compile time memory management (partial or full)?