Physical Sciences and Mathematics Commons^™

A Conservative Type System Based On Fractional Permissions, Chao Sun

Theses and Dissertations

The system of fractional permissions is a useful tool for giving semantics to various

annotations for uniqueness, data groups, method effect, nullness, etc. However, due

to its complexity, the current implementation for fractional permissions has various

performance issues, and is not suitable for real world applications.

This thesis presents a conservative type system on top of the existing fractional

permission type system. The system is designed with high-level types, and is more

restrictive. The benefit is that it can run much faster. With this system, we propose a

multi-tiered approach for type checking: the conservative type system is first applied, …