高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
一个用于软件生产自动化的VDM元语言编译系统
作者：
收录：
摘要：
讨论了C-Meta-Ⅳ的设计方案,介绍了已实现部分的效果。C-Meta-Ⅳ是一个用于系统软件和应用软件自动化生产的VDM元语言编译系统。该系统以智能语言PROLOG为中间语言,可将用Meta-Ⅳ书写的软件规范说明自动翻译为可执行高级程序设计语言(如PASCAL)的程序。其优点是:从Meta-Ⅳ到PROLOG的翻译比直接翻译为过程性语言容易;从PROLOG到过程性语言的翻译可利用优化技术以提高目标程序的效率。
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
1979，北京工业大学学报
2011，计算机工程
2002，2002年中国机械工程学会年会
2000，北京工业大学学报
来源 ：
北京工业大学学报
年份： 1990
期： 01
页码： 19-24
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次：
中文被引频次：
近30日浏览量： 2
归属院系：
信息学部 计算机学院
全文获取
外部链接：
