Compiler construction 计算行政范式
管理范式是代码的中间表示形式，适合编译器使用，在逻辑上等同于单个静态赋值，但有一些优点。例如，检查一个程序是否是有效的SSA形式是一个关于通过图的一组可能路径的存在性问题。然而，检查程序是否是有效的ANF表达式只是局部语法的问题 从严格的函数式代码生成ANF非常容易，但我感兴趣的是从包含变量更新、循环等的命令式代码生成ANF 有一些简单的算法可以将SSA转换为ANF。但是，如果您想快速生成SSA，那么首先生成SSA就变得非常重要。从直觉上看，如果您希望得到的是更直接、更透明的格式，那么直接生成它应该比通过更不透明的表单更有效 是否有一个公开的直接从命令式代码生成ANF的算法Compiler construction 计算行政范式,compiler-construction,ssa,anf,Compiler Construction,Ssa,Anf,管理范式是代码的中间表示形式，适合编译器使用，在逻辑上等同于单个静态赋值，但有一些优点。例如，检查一个程序是否是有效的SSA形式是一个关于通过图的一组可能路径的存在性问题。然而，检查程序是否是有效的ANF表达式只是局部语法的问题 从严格的函数式代码生成ANF非常容易，但我感兴趣的是从包含变量更新、循环等的命令式代码生成ANF 有一些简单的算法可以将SSA转换为ANF。但是，如果您想快速生成SSA，那么首先生成SSA就变得非常重要。从直觉上看，如果您希望得到的是更直接、更透明的格式，那么直接生成它