Sunday 9 August 2020

Static Single Assignment-Based Compilation Explained

 SSA refers to Static Single Assignment.

It is a naming convention for storage locations such that the value of a variable is independent of its location in the program. This is known as referential transparency.

An example of an SSA-based compilation toolchain is LLVM which has an associated Project Blog here.

No comments: