| 摘要 |
<p>Our innovative code generation technique interprets a program abstraction (42), derived after studying a class of programs, against an attributed tree (from 34), representing a specification of problem instance, to generate a target program (16 FIG. 3) for solving the problem from the specification. The code generator (40) which has two parts is flexible in two aspects. First, a basic part allows flexibility within a domain by interpreting many abstractions of problems. A domain dependent part allows the technique to be applied to different problem domains. (Fig. 1)</p> |
