Generative type inference for python

Y Peng, C Wang, W Wang, C Gao… - 2023 38th IEEE/ACM …, 2023 - ieeexplore.ieee.org
Python is a popular dynamic programming language, evidenced by its ranking as the
second most commonly used language on GitHub. However, its dynamic type system can …

Static inference meets deep learning: a hybrid type inference approach for python

Y Peng, C Gao, Z Li, B Gao, D Lo, Q Zhang… - Proceedings of the 44th …, 2022 - dl.acm.org
Type inference for dynamic programming languages such as Python is an important yet
challenging task. Static type inference techniques can precisely infer variables with enough …

Domain knowledge matters: Improving prompts with fix templates for repairing python type errors

Y Peng, S Gao, C Gao, Y Huo, M Lyu - Proceedings of the 46th IEEE …, 2024 - dl.acm.org
As a dynamic programming language, Python has become increasingly popular in recent
years. Although the dynamic type system of Python facilitates the developers in writing …

Static type recommendation for Python

K Sun, Y Zhao, D Hao, L Zhang - Proceedings of the 37th IEEE/ACM …, 2022 - dl.acm.org
Recently, Python has adopted optional type annotation to support type checking and
program documentation. However, to enjoy the benefits, developers have to manually write …

An empirical study of the Python/C API on evolution and bug patterns

M Hu, Y Zhang - Journal of Software: Evolution and Process, 2023 - Wiley Online Library
Python is a popular programming language, and a large part of its appeal comes from
diverse libraries and extension modules. In the bloom of data science and machine learning …

Generating Python Type Annotations from Type Inference: How Far Are We?

Y Guo, Z Chen, L Chen, W Xu, Y Li, Y Zhou… - ACM Transactions on …, 2024 - dl.acm.org
In recent years, dynamic languages such as Python have become popular due to their
flexibility and productivity. The lack of static typing makes programs face the challenges of …

Промежуточное представление программ для описания типов в терминах сопоставления значений с образцом

ВА Васенин, МА Кривчиков - Программирование, 2020 - elibrary.ru
В статье предлагается промежуточное представление для компактного и обобщенного
описания особенностей спецификации системы типов в языках программирования с …

Intermediate representation of programs with type specification based on pattern matching

VA Vasenin, MA Krivchikov - Programming and Computer Software, 2020 - Springer
In this paper, we present an intermediate representation (IR) language for the concise and
generalized description of type system specification features in dynamically typed …

SNR: Software Library for Introductory Robotics

S Shaw - 2021 - search.proquest.com
This thesis introduces “SNR,” a Python library for programming robotic systems in the
context of introductory robotics courses. Greater demand for roboticists has pressured …

[HTML][HTML] Duck Typing

C Room - devopedia.org
Duck Typing logo DEVOPEDIA ® for developers. by developers. - Browse Articles Community
Outreach About Devopedia Author Guidelines Site Stats FAQ & Help Username Password …