16 papers · ranked by Valyu relevance
Daniel Alabi, Joseph Ekpenyong, Alida Monaco
The NaijaCoder in-person summer camps are intensive programs for high school and pre-college students in Nigeria. The programs are meant to provide free instruction on the basics of algorithms and computer programming. In 2024, the camps were held in two locations within the country: (i) the Federal Capital Territory…
Silin Chen, Ziqian Bi, Junyu Liu, Benji Peng + 13 more
Mathematics Fundamental: From Theory to Practice Authors: ['Silin Chen' 'Ziqian Bi' 'Junyu Liu' 'Benji Peng' 'Sen Zhang' 'Xiaoyong Pan' 'Jiawei Xu' 'Jinlang Wang' 'Keyu Chen' 'Caitlyn Heqi Yin' 'Pohsun Feng' 'Yizhu Wen' 'Tianyang Wang' 'Ming Li' 'Jin‐Tao Ren' 'Qian Niu' 'Ming Liu'] | I | | Python Data Structures and…
Berk Ekmekci, Charles E. McAnany, Cameron Mura
Computing has revolutionized the biological sciences over the past several decades, such that virtually all contemporary research in molecular biology, biochemistry, and other biosciences utilizes computer programs. The computational advances have come on many fronts, spurred by fundamental developments in hardware…
Hamed Tahmooresi, Abbas Heydarnoori, Alireza Aghamohammadi
—Python is a popular, widely used, and general-purpose programming language. In spite of its ever-growing community, researchers have not performed much analysis on Python's topics, trends, and technologies which provides insights for developers about Python community trends and main issues. In this article, we examine…
Robert Dyer, Jigyasa Chauhan
Python is a multi-paradigm programming language that fully supports object-oriented (OO) programming. The language allows writing code in a non-procedural imperative manner, using procedures, using classes, or in a functional style. To date, no one has studied what paradigm(s), if any, are predominant in Python code…
Kyla H. Levin, Kyle Gwilt, Emery D. Berger, Stephen N. Freund
—The advent of large language models (LLMs) has paved the way for a new era of programming tools with both significant capabilities and risks, as the generated code lacks guarantees of correctness and reliability. Developers using LLMs currently face the difficult task of optimizing, integrating, and maintaining code…
Pattara Leelaprute, Bodin Chinthanet, Supatsara Wattanakriengkrai, Raula Gaikovina Kula + 2 more
'Raula Gaikovina Kula' 'Pongchai Jaisri' 'Takashi Ishio'] In the field of data science, and for academics in general, the Python programming language is a popular choice, mainly because of its libraries for storing, manipulating, and gaining insight from data. Evidence includes the versatile set of machine learning…
Kamel Yamani, Marwa Naïr, Riyadh Baghdadi
In recent years, data has emerged as the new gold, serving as a powerful tool for creating intelligent systems. However, procuring high-quality data remains challenging, especially for code. To address this, we developed TinyPy Generator, a tool that generates random Python programs using a context-free grammar. The…
Nicole Vavrová, Vadim Zaytsev
The context of this work is specification, detection and ultimately removal of harmful patterns in source code that are associated with defects in design and implementation of software. In particular, we investigate five code smells and four antipatterns previously defined in literature. Our inquiry is about detecting…
T. Jenness
The LSST software systems make extensive use of Python, with almost all of it initially being developed solely in Python 2. Since LSST will be commissioned when Python 2 is end-of-lifed it is critical that we have all our code support Python 3 before commissioning begins. Over the past year we have made significant…
Zejun Zhang, Zhenchang Xing, Xin Xia, Xiwei Xu + 1 more
Compared to other programming languages (e.g., Java), Python has more idioms to make Python code concise and efficient. Although pythonic idioms are well accepted in the Python community, Python programmers are often faced with many challenges in using them, for example, being unaware of certain pythonic idioms or do…
Ruksit Rojpaisarnkit, Gregório Robles, Raula Gaikovina Kula, Dong Wang + 3 more
Textbooks Authors: ['Ruksit Rojpaisarnkit' 'Gregório Robles' 'Raula Gaikovina Kula' 'Dong Wang' 'Chaiyong Ragkhitwetsagul' 'Jesús M. González-Barahona' 'Kenichi Matsumoto'] Abstract—Python, one of the most prevalent programming languages today, is widely utilized in various domains, including web development, data…
Zejun Zhang, Zhenchang Xing, Xiaoxue Ren, Qinghua Lu + 1 more
Pythonic idioms are highly valued and widely used in the Python programming community. However, many Python users find it challenging to use Pythonic idioms. Adopting rule-based approach or LLM-only approach is not sufficient to overcome three persistent challenges of code idiomatization including code miss, wrong…
Néstor Cataño
This paper presents the pyeb tool, a Python implementation of the Event-B refinement calculus. The pyeb tool takes a Python program and generates several proof obligations that are then passed into the Z3 solver for verification purposes. The Python program represents an Event-B model. Examples of these proof…
Kuang-Chen Lu, Ben Greenman, Carl G. Meyer, Dino Viehland + 2 more
'Aniket Panse' 'Shriram Krishnamurthi'] Context Gradually-typed languages allow typed and untyped code to interoperate, but typically come with significant drawbacks. In some languages, the types are unreliable; in others, communication across type boundaries can be extremely expensive; and still others allow only…
T. Jenness
The LSST data management science pipelines software consists of more than 100,000 lines of Python 2 code. LSST operations will begin after support for Python 2 has been dropped by the Python community in 2020, and we must therefore plan to migrate the codebase to Python 3. During the transition period we must also…