HOL:高级语言
“High-Order Language”在书写和使用时通常缩写为HOL,这一简称便于快速沟通与记录。该术语多见于机构与军事等相关专业领域,其对应的中文释义为“高级语言”。
High-Order Language的英文发音
例句
- Based on the high-order multi-type π calculus theory, a dynamic architecture description language D-ADL is proposed.
- 基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL(dynamicarchitecturedescriptionlanguage)。
- The precision of derived definite integral formula by high-order curve fitting like thrice and quartic proximate curve is higher than Simpson formula and the C language original program to realize the above algorithm is presented.
- 导出比Simpson公式精度更高的三次、四次曲线近似的高次曲线拟合定积分公式,并给出实现该算法的C语言源程序。
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若HOL词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。