Potential is a systems programming language designed for high reliability. It is an example of a typed assembly language. Key features: Automatically manages pointer aliases, invalidating aliases when changes are made to data that have an effect on the un