一个用于软件生产自动化的VDM元语言编译系统

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

讨论了C-Meta-Ⅳ的设计方案,介绍了已实现部分的效果。C-Meta-Ⅳ是一个用于系统软件和应用软件自动化生产的VDM元语言编译系统。该系统以智能语言PROLOG为中间语言,可将用Meta-Ⅳ书写的软件规范说明自动翻译为可执行高级程序设计语言(如PASCAL)的程序。其优点是:从Meta-Ⅳ到PROLOG的翻译比直接翻译为过程性语言容易;从PROLOG到过程性语言的翻译可利用优化技术以提高目标程序的效率。

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