The book Capability-Based Computer Systems by [Henry M. Levy] forms a good introduction here. The TenDRA project is as described on the project page a ‘compiler framework for architecture ...