Abstract

VML is an object-oriented database programming language. In this paper the code generation phase of the VML compiler (VC) is presented. VC is based on the front-end approach and the generated target code is C++ code. The code generation in compilers based on the back-end approach, where the target code consists of hardware-oriented instructions, is usually based on conventional dynamic programming. This paper makes two significant contributions by extending this approach. One is the introduction of a new model of tree-rewriting rules as well as corresponding algorithms for tree-pattern matching. The algorithms control the evaluation order among sub-expressions. Termination and correctness of the algorithms is formally proved. The second contribution is that the concepts and algorithms presented here may be used in translating other object-oriented database languages to C++-like languages in general, provided that the target code is a series of function calls. The approach can be adapte...

Citations