Compiler-time analysis of functional programs to reduce run-time heap cell allocation

Abstract

This thesis addresses one feature of functional language optimization, In Place Updating. The thesis discusses the development and implementation of a compilation technique which can detect reusable heap cells during compilation and generate executable code to reuse them at run-time. The main aim is to speed up the execution of functional programs. The technique is demonstrated to be correct and effective.