[New-bugs-announce] [issue46754] Improve Python Language Reference based on [Köhl 2020]

Guido van Rossum report at bugs.python.org
Mon Feb 14 20:19:11 EST 2022

New submission from Guido van Rossum <guido at python.org>:

In https://arxiv.org/pdf/2109.03139.pdf ("M Köhl, An Executable Structural Operational Formal Semantics for Python, Master Thesis 2020 Saarland University) there are some observations on cases where the Language Reference (referred to as PLR) is ambiguous or incorrect.

Somebody should go over the thesis, collect the issues, and then we can update the language reference.

See also https://github.com/faster-cpython/ideas/issues/208#issuecomment-1039612432

messages: 413275
nosy: gvanrossum
priority: normal
severity: normal
status: open
title: Improve Python Language Reference based on [Köhl 2020]

Python tracker <report at bugs.python.org>

More information about the New-bugs-announce mailing list