Implementation of an Imperative Programming Language with Backtracking
Vincent Partington · 1997
Machine, abbreviated to AAA), which combines the features of abstract machines for imperative languages with those of abstract machines for logical languages. Part II describes the implementation of the Alma-0 compiler in detail, from lexical analysis to code generation and the run-time system. It not only describes the current implementation, but commentary sections describe the problems encountered during the implementation and the motivations behind certain solutions. These sections have been divided from the main text by large captions, and can be recognized by the little "c" after the section number. I would like to thank Krzysztof Apt for his support, and for the enlightening conversations I've had with him on many a rainy morning, and, if one of the mornings was not rainy, it should have been, just for the effect. My fellow students should be thanked for their interesting remarks and discussions, whether they concerned my project or not. Finally, I would especially like to tha...