An Executable Structural Operational Formal Semantics for Python

Understand

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.