A toy compiler based on SPJ's "The Implementation of Functional Programming Languages".
-
First of all, it is the Maori name of the Australasian swamphen. Since O'Reilly books on programming languages tend to have animals on their cover and this bird is a particularly cute animal, I consider this name to be a very wise choice.
-
Once I've convinced Coq1 that the translation from pukeko source code to G-machine code is correct, it could be an acronym for purtially kertified kompiler.
-
Before then, it should probably mean puorly kertified kompiler. (I hope the cuteness of the pukeko makes up for the lack of this name being a unique selling point.)
Try very hard to change the puorly into purtially!
[1] Coq & (swamp)hen. Got it?