Tag: pointers

How to represent the expressions that can be used on the left hand side of assignments and mutations.

Use a Control Flow Graph as an IR to make implementation of rules that test data flow easier.