Indexed by：
Abstract：
讨论了C-Meta-Ⅳ的设计方案,介绍了已实现部分的效果。C-Meta-Ⅳ是一个用于系统软件和应用软件自动化生产的VDM元语言编译系统。该系统以智能语言PROLOG为中间语言,可将用Meta-Ⅳ书写的软件规范说明自动翻译为可执行高级程序设计语言(如PASCAL)的程序。其优点是:从Meta-Ⅳ到PROLOG的翻译比直接翻译为过程性语言容易;从PROLOG到过程性语言的翻译可利用优化技术以提高目标程序的效率。
Keyword：
Reprint Author's Address：
Email：
Source ：
北京工业大学学报
Year： 1990
Issue： 01
Page： 19-24
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 11
Affiliated Colleges：
