Language Of Temporal Ordering Specification
来自维基百科，自由的百科全书
Found in articles
SQL
SQL（i/ˈɛs kjuː ˈɛl/或i/ˈsiːkwəl/，Structured Query Language，结构化查询语言）是一种特定目的程式语言，用于管理关系数据库管理系统（RDBMS），或在关系流数据管理系统（RDSMS）中进行流处理。 SQL基于关系代数和元组关系演算，包括一个数据定义
统一建模语言（英語：Unified Modeling Language，縮寫UML）是非专利的第三代建模和规约语言。UML是一种开放的方法，用于说明、可视化、构建和编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。UML展现了一系列最佳工程实践，这些最佳实践在对大规模，复杂系统进行建模方
8632 8652（英语：ISO/IEC 8652） 8691（英语：ISO 8691） 8807（英语：Language Of Temporal Ordering Specification） 8820-5（英语：ISO/IEC 8820-5） 8859 -1 -2 -3 -4 -5 -6 -7
8632 8652（英语：ISO/IEC 8652） 8691（英语：ISO 8691） 8807（英语：Language Of Temporal Ordering Specification） 8820-5（英语：ISO/IEC 8820-5） 8859 -1 -2 -3 -4 -5 -6 -7
代数数据类型
Pascal Haskell Haxe Hope Idris Java 15 Kotlin Limbo Language Of Temporal Ordering Specification (LOTOS) Mercury Miranda Nemerle Nim OCaml Opa OpenCog