memory spaces

Craig was one of my final year project students during my PhD. The goal of this project is to implement static analysis at compile time to enable safe memory optimisations in message passing languages.