Programming Language Standardization and Specification Workshop Report

By: Mikhail Barash, Yulia Startsev

Abstract

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, exploring languages including WebAssembly, C++, JavaScript, Kotlin, Scheme, P4, APL, Emacs Lisp, and the new Hylo language.

Keywords

Language Evolution, Mechanization, Language Standardization, Language Specification, Formal Semantics

Cite as:

Mikhail Barash, Yulia Startsev, “Programming Language Standardization and Specification Workshop Report”, Journal of Object Technology, Volume 25, no. 1 ( 2026), pp. 1-8, doi:10.5381/jot.2026.25.1.e5.

DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn