compiler-construction - 什么是A-Normal形式？

我正在阅读各种中间形式，但是除了类似于Wiki的条目之外，我无法获得有关A-normal形式的信息。这里有没有人知道这一点，或者对此有很好的资源？

最佳答案

参见Administrative normal form。

EXP ::= VAL VAL
     |  let VAR = EXP in EXP
VAL ::= ? VAR . EXP
     |  VAR

弗拉纳根(Corana)，科马克(Cormac)； Sabry，Amr；杜巴(Dub，Bruce F.);费莱森(Felleisen)，马蒂亚斯(Matthias)。 "The Essence of Compiling with Continuations"可能是确定的来源。

还发现了关于cs252r : Advanced Functional Programming的一些注释。

关于compiler-construction - 什么是A-Normal形式？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/828144/