Die administrative Normalform ist eine Programmzwischenrepräsentation, in der jede unmittelbare Anweisung einen Namen hat. Es wird in GHC und OCaml verwendet . Die K-normalisierte Form ist eine Zwischendarstellung, in der jeder Befehl aus einer Zuordnung und Operation besteht. Es wird in MLKit,...