Therefore, this subject studies automatic refinement of set theory operator in order to develop a entire compiler which can make a convert of Z specification to compiled high-level programme language.
基于以上原因,以自动求精的实现为目的,为研制一套完整的编译环境,使其可以将Z规格说明自动转化为可编译的高级程序设计语言,本课题研究了集合论算子的自动求精。
参考来源 - Z规格说明中集合论算子的自动求精研究及实现·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐