.png){kind=icon}
.png){kind=icon}
Return
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}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
This report presents a summary of the talks and discussions held at the Workshop on Programming Language Standardization and Specification (PLSS 2025). The workshop brought together language designers, implementers, researchers, and practitioners to examine how programming languages are specified, evolved, and standardized in practice. The talks explored a diverse set of programming languages, including WebAssembly, C++, JavaScript, Kotlin, Scheme, P4, APL, Emacs Lisp, and the new Hylo language. Several speakers addressed socio-technical aspects of programming language standardization, and emphasized the need for a better integration between the specification and the implementation processes.
Keywords:
Language Evolution
Mechanization
Language Standardization
Language Specification
Formal Semantics