C-Meta-IV: A VDM Meta-Language Compiling System for Automatic Production of Software

C-Meta-Ⅳ, which is a VDM meta-language compiling system used in automatic production of system software, translates software specifications written in Meta-Ⅳ into executable programs in some procedural high-level languages (such as PASCAL) with AI language PROLOG as the intermediate language, resulting two advantages; The translation from Meta-Ⅳ to PROLOG is much easier than the direct translation to PASCAL; with optimization techniques the efficiency of the object code is improved in the translation from PROLOG to PASCAL. The design philosophy of C-Meta-Ⅳ, the effects of the completed parts of the project and the direction of further work are all described.