+++
title = "Type system for SSA"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8b"]
forwardlinks = ["3a8d"]
zettelid = "3a8c"
+++

The type system for SSA tracks the most recent definitions of each
variable. This technique could be quite interesting in maybe
implementing better pointer support in Vericert, or different integer
types in Vericert as well.

To do this, it uses the liveness information for each code point to
track the current version of the variable that is live at this point.