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
本博客所有文章除特别声明外,均采用 CC BY-SA 4.0 协议 ,转载请注明出处!