Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs
Ulf Nilsson · 1992
Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – progra ...