A-Basic-Introduction-to-SSA-Lustre-and-K2

A Basic Introduction to SSA Lustre and K2

New terms.

SSA

From wiki, Simple and Efficient Construction of Static Single Assignment Form

The relation ship between source program, SSA form and CPS version.

A correspondence between continuation passing style and static singleassignment form

Lustre

LUSTRE Language, a synchronous language based on the dataflow model for the description and verification of real-time systems.

The Lustre V6 Reference Manual - Verimag