爱词霸英语   汉语   手机版   软件版下载 | English
每日一句:正在加载...
1.The study of specification for abstract datatype (ADT) is important in the development ofobject-oriented software and in program verification.
研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。收藏指正
2.The strength of MME is at the SIMD support for narrow datatype computing and multimedia typical operations.
多媒体扩展指令集最能产生性能加速的方面是其对小数据类型运算和多媒体程序中常见但比较复杂运算(多媒体典型操作)的SIMD支持上。收藏指正
3.First,an algebraic specification language ASL based on abstract datatype is introdIiced,then a forn1aI transformation metliod of specification written in ASL intoPROLOG is introduced.
首先给出了一种基于抽象数据类型的代数规格说明语言ASL：然后介绍了由ASL描述的规格说明到PROLOG转换　的形式化方法；收藏指正
4.LFC is different from otherfunctional languages in that LFC uses context free language (CFL) as its basic datatype and the theory of CFRF (Recursive Function defined on Context-Freelanguages) as its theoretical basis.
作为一种函数式语言，LFC 语言具有函数式语言共有的特点，而 LFC 语言与其它函数式语言不同的地方在于其将上下文无关语言(CFL)作为基本的数据类型，其理论基础是上下文无关语言递归函数(CFRF)理论。收藏指正
尝试查询