请输入您要查询的百科知识:
词条
代数规约
释义
代数规约
信息科学卷
代数规约
基于代数理论的形成规约方法。由基调和公理集两部分组成。主要用于抽象数据类型的描述。用公理刻画程序的行为,抽象程度较高。其实现是指如何从给定的代数规约出发,得到能在计算机上执行的程序。
出处:信息科学卷 • 计算机科学技术 • 软件与系统
随便看
箭竹
箭线
箭线图法
箭舌豌豆
箭虫
箭衣
箭袋
箭道
箭锋直
箭霰弹
箭靶
箭鞘亚纲
箭风
箭鱼
箯
箯舆
箰
箱
箱容利用率
箱容系数
箱工起义
箱式炉
箱形基础
箱形拱桥
箱根町
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/6/13 17:02:27