Towards the uniform implementation of declarative languages

摘要: Current implementation techniques for functional languages differ considerably from those logic languages. This complicates the development of flexible and efficient abstract machines that can be used compilation declarative combining concepts programming. We propose an machine, called JUMP-machine, which systematically integrates operational needed to implement programming paradigm. The use a tagless representation heap objects, originates Spineless Tagless G-machine, supports integration different concepts. In this paper, we provide kernel language show how translate it into machine JUMP-machine. Furthermore, define semantics formally discuss mapping concrete architectures. tested approach by writing compiler GTML. obtained performance results indicate proposed method allows efficiently.