摘要： Diana是目前国际上优选的Ada中间语言,由于其采用形式化手段描述,并具有面向Ada,面向APSE环境等特征,因而适用于Ada环境中的标准界面。
Abstract: Diana is an Optimal intermediate language of Ada currently popular in the world. Being characterized by formalizing expression, Ada and APSE environment orientation, it is suited to standard interfaces in Ada environment.
陈申泽,谢志良. Ada中间语音Diana的原理与实观[J]. , 1986, 12(04): 8-15.
Chen Shenze, Xie Zhiliang. THE PRINCIPLE AND IMPLEMENTATION OF DIANA, THE INTERMEDIATE LANGUAGE OF ADA[J]. , 1986, 12(04): 8-15.