
【国外标准】 Information technology - Common Logic (CL) - A framework for a family of logic-based languages
本网站 发布时间:
2024-08-08
开通会员免费在线看70000余条国内标准,赠送文本下载次数,单本最低仅合13.3元!还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权!  
查看详情>>

适用范围:
Specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems. The following features are essential to the design of this document. Languages in the family have declarative semantics. Languages in the family are logically comprehensive, and Languages in the family are translatable by a semantics-preserving transformation to a common XML-based syntax, facilitating interchange of information among heterogeneous computer systems.
标准号:
INCITS/ISO/IEC 24707:2018 (2023)
标准名称:
Information technology - Common Logic (CL) - A framework for a family of logic-based languages
英文名称:
Information technology - Common Logic (CL) - A framework for a family of logic-based languages标准状态:
现行-
发布日期:
-
实施日期:
出版语种:
- 推荐标准
- AS 4629-2005 (R2018)/Amdt 1-2007 Automatic shut off valves and vent valves
- AS IEC 60300.3.11-2011 Dependability management Application guide - Reliability centred maintenance
- AS IEC 60300.3.12-2011 Dependability management Application guide - Integrated logistic support
- AS IEC 60300.3.15-2011 Dependability management Application guide - Engineering of system dependability
- AS IEC 60812-2008 Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA)
- AS IEC 60942-2004 Electroacoustics - Sound calibrators
- AS IEC 61131.3-2004 Programmable controllers Programming languages
- AS IEC 61672.1-2004 Electroacoustics - Sound level meters Specifications
- AS IEC 62628:2014 Guidance on software aspects of dependability
- AS ISO 10006-2003 Quality management systems - Guidelines for quality management in projects
- AS ISO 10014-2007 Quality management systems - Guidelines for realizing financial and economic benefits
- AS ISO 10993.10-2002 Biological evaluation of medical devices Tests for irritation and sensitization
- AS ISO 10993.12-2002 Biological evaluation of medical devices Sample preparation and reference materials
- AS ISO 11137-2002 Sterilization of health care products - Requirements for validation and routine control - Radiation sterilization
- AS ISO 12647.1:2012 Graphic technology - Process control for the production of half-tone colour separations, proof and production prints Parameters and measurement methods