๐Ÿ“CPS is single assignment (SSA)

source
Appel1992

In CPS, as in SSA, all variables are bound exactly once. This allows for better control flow analysis.

SSA relies on the ฯ†-operator to join variables from multiple control path, and CPS relies on function calls instead.

Backlinks

โฆ
Want to receive my ๐Ÿ–‹ posts as I publish them?