Evidence is found that keyword-based argument passing is less defect-prone than positional argument passing, and this is not affected by size-related confounding factors.
This study considers if statements as they comprise some of the semantically simplest compound statements in Python, to provide an overview that goes deeper and beyond mere frequency statistics, together with noteworthy examples of student errors that may further guide the development of automated systems.
Clemens Bachmann, Tobias Kohn, Dennis Komm et al.· Proceedings of the 2026 Unit...· 0 citations
Over the past two decades, numerous systems have brought some of the benefits of dependent typing to a wide variety of new programming languages, often by restricting which terms can appear inside types. Such techniques are known as refinement types, occurrence typing, liquid types, and path dependent types, among othe...
Yu-Quan Fu, C. Angiuli, Sam Tobin-Hochstadt· 0 citations
A study of import-related bugs and security vulnerabilities in Python software, which combines security advisories with PyPI project histories and uses source and patch evidence to confirm how import activates cases, why the problem occurs, how developers fix it, and what program information is needed to explain the be...
The impact of Python applications has been evidenced by their widespread presence in some of the most impactful software domains, such as machine learning frameworks and scientific computing platforms. These applications often integrate native code components written in a lower-level programming language like C. This m...
This work is a continuation, and generalization, of Andrew Appel's landmark work on “Compiling with Continuations”, but instead of natural-deduction-based languages like the lambda calculus, it uses sequent-calculus-inspired languages throughout all intermediate stages.
Marius Müller, David Binder, Marco Tzschentke et al.· ACM Transactions on Programm...· 0 citations
Names of source code elements convey rich semantic information and have been widely used in software engineering tasks such as bug detection, code completion, type prediction, and code classification. Prior studies exploit lexical similarity between method arguments and formal parameter names to detect bugs caused by i...
Subrata Das, Ali Aman, Muhammad Asaduzzaman et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.