Linux 基金会成立 TLA+ 语言基金会
Linux 基金会宣布成立 TLA+ 基金会 (TLAF),以促进 TLA+ 编程语言及其 TLA+ 从业者社区的采用和发展。TLA+ 基金会的创始成员包括 AWS、甲骨文和微软。 TLA+ (Temporal Logic of Actions) 是一种用于对程序和系统 (尤其是并发和分布式程序和系统) 进行建模的高级语言。Linux 基金会表示,TLA+ 语言已被成功用于验证复杂的软件系统、减少错误并提高可靠性;其有助于在开发过程的早期发现设计缺陷,节省时间和资源。“TLA+ Foundation 的成立旨在推动采用经过验证的形式化方法来构建稳健的软件。” 该语言在几十年前由现任 Microsoft Research 杰出科学家 Leslie Lamport 发明,基于“精确描述事物的最佳方式是使用简单的数学”的理念。时至今日,其管辖权逐渐从微软转移到 Linux 基金会,并获得了自己独立的基金会来推广发展。 根据介绍,TLA+ 基金会是一个独立的非营利组织,致力于促进 TLA+ 规范语言在工业界、学术界和教育界的采用,其总体目标是推进软件工程中的数学思维。TLAF 资助与 TLA+...


