GB/T 30880-2014 《信息技术 通用逻辑(CL):基于逻辑的语言族框架》-国家标准

目录


收录自国家标准信息平台,认准啦(RenZhunLa.com)为执行该国家标准的产品或服务提供推介展位,欢迎留言交流。


标准基础信息

  • 标准号: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。采标中文名称:信息技术 通用逻辑:基于逻辑的语言族框架。


收录自国家标准信息平台,认准啦(RenZhunLa.com)为执行该国家标准的产品或服务提供推介展位,欢迎留言交流。


标准号
GB/T 30880-2014
发布日期
2014-09-03
实施日期
2015-02-01
标准类别
基础
中国标准分类号
L72
国际标准分类号
35.060
35 信息技术、办公机械
35.060 信息技术用语言
归口单位
全国信息技术标准化技术委员会
执行单位
全国信息技术标准化技术委员会程序设计语言分会
主管部门
国家标准化管理委员会

收录自国家标准信息平台,认准啦(RenZhunLa.com)为执行该国家标准的产品或服务提供推介展位,欢迎留言交流。


标准全文


收录自国家标准信息平台,认准啦(RenZhunLa.com)为执行该国家标准的产品或服务提供推介展位,欢迎留言交流。