Research on G-Machine Technology in Functional Language Compiler
Zixin Chen · Computer Knowledge and Technology · 2008
In this paper Spineless G-Machine is improved to gain the advantages of STG-Machine but remain the operational semantics of Spineless G-Machine codes.This model is easier to understand and explore optimization space than STG-Machine. Based on this improved Spineless G-Machine, some optimizations on the abstract machine codes are added to explore the improve space,including extend the MKAP instruction and G-code peephole optimizations.