Copenhagen Programming Language Seminar
Region-based memory management was introduced by Tofte and Talpin in the mid-1990's as a compile-time alternative to garbage collection for ML. A special analysis in the compiler, region inference, automatically inserts explicit memory-management operations into the program and also produces a certificate that the annotated program is
memory safe, in the form of a typing derivation in a specialized type system. Since then, the idea has been applied to other languages - but only just the part of it that is about mechanically checking that explicit region annotations for a program are safe. Indeed, no account of region inference that is applicable to other languages
than ML has been published so far.
Andrzej Filinski. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, IT-C and KVL.
To receive information about COPLAS talks by email, send a message to email@example.com with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org