L74 程序语言 标准查询与下载

GB/T 12856-1991 程序设计语言BASIC子集

本标准规定了： a.用BASIC子集书写程序的语法； b.BASIC子集书写的程序所控制的自动数据处理系统，作为输入可接收的数据格式和数值表示的最小精度和范围，以及串中字符的最小长度和集合； c.BASIC子集书写的程序所控制的自动数据处理系统，其输出能产生的数据格式和数值表示的最小精度和范围，以及串中字符的最小长度和集合； d.解释BASIC子集书写的程序含义的语义规则； e.应检查出的错误和异常情况。 尽管原先设计BASIC语言主要为交互式使用，但本标准描述的语言无此限制。本标准无意妨碍任何具体实现技术的使用，例如解释程序，增量编译或一次扫描编译程序。 本标准适用于电子计算机的设计、生产和应用领域。

Programming languages BASIC subset

GB/T 12646-1990 数字控制机床的数控处理程序输入 基本零件源程序参考语言

本标准定义了一个高级的零件（源）程序语言，这个程序经过计算机处理产生数控加工程序。 该语言是为了用于零件加工而开发的一个面向问题的语言。它类似于科学计算机的编程语言，包含有许多程序和计算机这方面的大部分能力。此外，它还提供了形状描述和加工运动方面的命令。 语言的指令集按顺序分成两个阶段处理，即信息处理和后置处理。信息处理基本上与数据控机床无关，而揀置处理则要考虑到数控机床其控制系统的特点。 信息处理程序的输出（刀具位置数据），也是后置处理程序的输入，它是一个单独的机的标准化文件项目。刀具位置数据的定义实际上包含了使用后置处理程序所必须的零件编程语言，它是这个部他的基本参考语言。 该语言是一个参考语言，也就是说，不企求语言的全部都被使用。语言的某些部分或子集可适用于特定的环境。 参考语言是根据语句和程序类型分成许多逻辑页，以便每个逻辑页可以成为今后进一步标准化的一个单元。 参考语言是按书写的。附录A（补充件）列出了在穿孔卡上表示参考语言的规则。附录B（补充件）列出了参考语法描述。

Numerical control of machines--NC processor input--Basic part program reference language

GB/T 12177-1990 数子控制机床的数控处理程序输出 逻辑结构

本标准规定了通用数字控制处理程序输出信息记录的逻辑结构。该输出用作后置处理程序的输入信息。 本标准适用于数字控制编程语言使用，每个使用一种数字控制编程语言的处理程序，应能产生本标准规定的刀位数据。每个后置处理程序应能使用在本标准中所规定的刀位数据作为它的输入。

Numerical control of machines--NC processor output--Logical structure

GB/T 11292-1989 数字控制机床的数控处理程序输出2000型记录辅元素(后置处理命令)

本标准规定了通用数字控制处理程序输出信息记录中的2000型记录辅元素（后置处理命令）。 本标准适用于数字控制编程语言的使用。按数字控制编程输入语言国家标准编制的每个处理程序，应能产生本标准中所规定的刀位数据辅元素，或者借助于某些接口例行程序来实现这种能力。

Numerical control of machines--NC processor output--Minor elements of 2000-type records(post-processor commands)

GB/T 9543-1988 程序设计语言 PL/1通用子集

本子集是适用于商业数据处理，科学计算和系统程序设计应用领域的一个通用程序设计语言。

Programming languages PL/1 general purpose subset

GB/T 9542-1988 程序设计语言PL/1

程序设计语言PL/1

Programming languages PL/1

GB/T 9362-1988 用于工业过程控制 实时FORTRAN

本标准适用于要求多任务特性的所有FORTRAN系统。 注：在本标准中除了明显地指出与处理器相关的特性之外，本标准中的其他内容在实现时不应被扩充或改变.

Industrial real-time FORTRAN--Application for the control of industrial processes

GB 7591-1987 程序设计语言 Pascal

Programming language Pascal

GB/T 7591-1987 程序设计语言Pascal

本标准等效采用国际标准ISO7185-1082《计算机程序设计语言Paseal规格说明》。 本标准通过规定处理程序和相符程序的要求来规定计算机程序设计语言Pascal的语法和语义，对处理程序和程序均定义了两级规格。 本标准不规定： a.程序及其数据的大小或复杂性，它们或者会超出指定数据处理系统的能力，或者会超出特定处理程序的能力，以及在超出相应限制时所要采取的动作； b.能支持Pascal处理程序实现的数据处理系统的最低要求； c.激活程序分程序的方法，或对于变换和执行Pascal程序所处环境加以控制的命令集合； d.供数据处理系统用的变换Pascal程序的机制； e.报告差错或提出警告的方法； f.出版供人阅读的程序的印刷表示。

Programming language Pascal

GB/T 1500-1987 程序设计语言 ALGOL60

本标准定义了程序设计语言ALGOL60及其子集（参看附录A）。其目的是：在数据处理系统之间，便于ALGOL60程序的交换，增进其可移植性。 本标准用于描述数值计算过程。描述计算过程的源程序一般应被翻译程序译成为机器代码。 本标准适用于数字电子计算机的设计、生产和使用，对ALGOL60语言的理解应以本标准为准。 在本标准中，凡出现名字ALGOL，其含义都是ALGOL60。 本标准是原国家标准GB1500-79《程序设计语言ALGOL》的修订版。它等效采用了国际标准 ISO1538（1984）（E）《Programming Languages ALGOL60》1）。 本标准的实施应参照GB3178-82《ALGOL语言基本符号的硬件表示法》进行。

Programming languages ALGOL 60

GB/T 4144-1984 程序设计语言 最小BASIC

制定本标准是为了在多种自动数据处理系统中促进BASIC程序的可互换性。 本标准规定了： --最小BASIC书写的程序的语法。 --最小BASIC书写的程序所控制的自动数据系统作为输入所接收的数据的格式和数值表示的精度及范围。 --最小BASIC书写的程序所控制的自动数据系统作为输出可产生的数据的格式和数值表示的精度及范围。 --解释用最小BASIC书写的程序之含义的语义规则。 -一-应发现的错误和异常情况，以及处理这些错误和异常情况的方式。 今后相同目的的标准将描述本标准的扩充和提高。凡遵守本标准规定而不遵守本标准的扩充或提 高之规定的程序，将称为是用最小BASIC书写的。 尽管原先设计BASIC语言主要是作交互使用，而本标准描述的语言并不受此限制。 附录A概述本标准的构成。附录B解释语法说明所用的方法。

Programming languages--Minimal BASIC

DB33/T 2579-2023 审计数据归集规范

Audit data collection specification

T/CIE 131-2022 信息技术 通用时空信息应用支撑平台参考架构

Information technology general spatio-temporal information application support platform reference architecture

T/CIE 129-2021 区块链 智能合约 合同文本置标语言（CTML）

Blockchain Smart Contract Contract Text Markup Language (CTML)

BS IEC 62530:2021 系统Verilog语言. 统一硬件设计, 规范和鉴定语言

SystemVerilog. Unified Hardware Design, Specification, and Verification Language

IEC 62530:2021 系统级硬件描述语言. 统一硬件设计, 规范和鉴定语言

SystemVerilog - Unified Hardware Design, Specification, and Verification Language

BS IEC 61691-6:2021 行为语言. 第6部分: 硬件描述语言(VHDL)模拟信号及混合信号扩展

Behavioural languages. VHDL Analog and Mixed-Signal Extensions

BS IEC 61636-1:2021 维护信息采集与分析用软件接口(SIMICA): 通过可扩展标记语言(XML)交换试验结果和会话信息

Software Interface for Maintenance Information Collection and Analysis (SIMICA). Exchanging Test Results and Session Information via the eXtensible Markup Language (XML)

JIS X 7206:2021 可扩展业务报告语言(XBRL)2.1

Extensible Business Reporting Language (XBRL) 2.1

T/CIE 095-2020 区块链智能合约形式化表达

本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。

Formal expression of blockchain smart contracts