GB/T 30880-2014 《信息技术 通用逻辑(CL):基于逻辑的语言族框架》-国家标准
目录
标准基础信息
- 标准号:GB/T 30880-2014
- 标准中文名称:信息技术 通用逻辑(CL):基于逻辑的语言族框架
- 标准英文名称:Information technology—Common Logic (CL): a framework for a family of logic-based languages
国家标准《信息技术 通用逻辑(CL):基于逻辑的语言族框架》由TC28(全国信息技术标准化技术委员会)归口,TC28SC22(全国信息技术标准化技术委员会程序设计语言分会)执行,主管部门为国家标准化管理委员会。主要起草单位中国标准化研究院、北京科迪智标信息技术有限公司、环境保护部信息中心。主要起草人孙广芝 、邢立强 、刘彦东 、娄晓琳 、刘定 。本标准等同采用ISO/IEC国际标准:ISO/IEC 24707:2007。采标中文名称:信息技术 通用逻辑:基于逻辑的语言族框架。
- 标准号
- GB/T 30880-2014
- 发布日期
- 2014-09-03
- 实施日期
- 2015-02-01
- 标准类别
- 基础
- 中国标准分类号
- L72
- 国际标准分类号
- 35.060
35 信息技术、办公机械 35.060 信息技术用语言 - 归口单位
- 全国信息技术标准化技术委员会
- 执行单位
- 全国信息技术标准化技术委员会程序设计语言分会
- 主管部门
- 国家标准化管理委员会
标准全文
- 点击查看标准全文。