Type Based Distributed Access Control
Winter 2012-2013 Compiler Principles Loop Optimizations and Register Allocation