Work

Towards a type-based abstract semantics for Python

Year: 2024

Type: article

Abstract: Python is a high-level programming language that is strongly, but dynamically typed. In this paper, we propose a type inference framework to compute specifications for Python functions in isolation. To achieve this, we aim to use an abstract-interpretation-based data flow analysis to infer variable types on a subset of Python programs that use built-in types, operators and functions. To evaluate the expressions found in every program point, specifications for the encountered operations and functions are required. We propose a method for extracting these specifications from the Typeshed project, which contains a set of annotations for built-in and popular third-party libraries. These specifications will be used then to extend the proposed type inference to large Python programs.

Source: Journal of Logical and Algebraic Methods in Programming

DOI: 10.1016/j.jlamp.2024.101032

Author: Andrei Nacu

Institution: Alexandru Ioan Cuza University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,810

OpenAlex ID: W4405220163

FWCI: 0.592

Cites: 13

Cited by: 4

Related to: 10