Python is a popular high-level general-purpose programming language also heavily used by the scientific community. It supports a variety of different programming paradigms and is preferred by many for its ease of use. With the vision of harvesting static analysis techniques like abstract interpretation for Python, we develop a formal semantics for Python. A formal semantics is an important cornerstone for any sound static analysis technique. We base our efforts on the general framework of structural operational semantics yielding a small-step semantics in principle allowing for concurrency and interaction with an environment. The main contributions of this thesis are twofold: first, we develop a meta-theoretic framework for the formalization of structural operational semantics in tandem with the necessary tool support for the automated derivation of interpreters from such formal semantics, and, second, we validate the suitability of this approach for the formalization of modern programming languages developing a semantics for Python.

中文翻译：

---

Python 的可执行结构操作形式语义

Python 是一种流行的高级通用编程语言，科学界也大量使用。它支持各种不同的编程范式，并且因其易用性而受到许多人的青睐。本着收获静态分析技术（如 Python 的抽象解释）的愿景，我们为 Python 开发了一种形式语义。形式语义是任何声音静态分析技术的重要基石。我们的努力基于结构操作语义的一般框架，产生小步语义，原则上允许并发和与环境的交互。本论文的主要贡献有两个方面：第一，