.png){kind=icon}
返回
PLSS 2025-Programming Language Standardization and Specification Workshop Report
.png){kind=icon}
PRE
AI
DOI：10.5381/jot.2026.25.1.e5.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本报告总结了编程语言标准化与规范研讨会（PLSS 2025）上的报告和讨论内容。该研讨会汇集了语言设计者、实现者、研究人员和实践者，以探讨编程语言在实际中的规范、演进和标准化过程。报告探讨了多种编程语言，包括WebAssembly、C++、JavaScript、Kotlin、Scheme、P4、APL、Emacs Lisp以及新的Hylo语言。多位发言人讨论了编程语言标准化的社会技术层面，并强调了规范与实现过程之间更好整合的必要性。
Keyword:
Language Evolution
Mechanization
Language Standardization
Language Specification
Formal Semantics
