Image de couverture de livre

How Do Developers Use Type Inference: An Exploratory Study in Kotlin

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Flint, Samuel W., Keshk, Ali M., Dyer, Robert, Bagheri, Hamid
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Do Developers Read Type Information? An Eye-Tracking Study on TypeScript
par: Flint, Samuel W., et autres
Publié: (2026)

An Exploratory Eye Tracking Study on How Developers Classify and Debug Python Code in Different Paradigms
par: Flint, Samuel W., et autres
Publié: (2025)

Boidae: Your Personal Mining Platform
par: Sigurdson, Brian, et autres
Publié: (2024)

Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor
par: Feng, Qiong, et autres
Publié: (2024)

Kotlin's Type System is (Also) Unsound
par: Kinsbruner, Elad, et autres
Publié: (2024)

Cross-Language Dependencies: An Empirical Study of Kotlin-Java
par: Feng, Qiong, et autres
Publié: (2024)

WIA-SZZ: Work Item Aware SZZ
par: Perez-Rosero, Salomé, et autres
Publié: (2024)

Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
par: Georgescu, Calin, et autres
Publié: (2024)

How to Refactor this Code? An Exploratory Study on Developer-ChatGPT Refactoring Conversations
par: AlOmar, Eman Abdullah, et autres
Publié: (2024)

LitmusKt: Concurrency Stress Testing for Kotlin
par: Lochmelis, Denis, et autres
Publié: (2025)

How Do Developers Interact with AI? An Exploratory Study on Modeling Developer Programming Behavior
par: Wu, Yinan, et autres
Publié: (2026)

Kotlin ML Pack: Technical Report
par: Titov, Sergey, et autres
Publié: (2024)

How Do Developers Use Migration Guides? A Case Study of Log4j
par: Monno, Takahiro, et autres
Publié: (2026)

How Do Developers Use Code Suggestions in Pull Request Reviews?
par: Bouraffa, Abir, et autres
Publié: (2025)

How Do Software Developers Use GitHub Actions to Automate Their Workflows?
par: Kinsman, Timothy, et autres
Publié: (2021)

pyMethods2Test: A Dataset of Python Tests Mapped to Focal Methods
par: Abdelmadjid, Idriss, et autres
Publié: (2025)

Characterising Developer Sentiment in Software Components: An Exploratory Study of Gentoo
par: Tulili, Tien Rahayu, et autres
Publié: (2024)

How LLMs Aid in UML Modeling: An Exploratory Study with Novice Analysts
par: Wang, Beian, et autres
Publié: (2024)

What Types of Code Review Comments Do Developers Most Frequently Resolve?
par: Goldman, Saul, et autres
Publié: (2025)

An Exploratory Study of the Relationship between SATD and Other Software Development Activities
par: Esfandiari, Shima, et autres
Publié: (2024)

Architectural Anti-Patterns in Student-Developed Microservice Architectures: An Exploratory Study
par: Fasolino, Anna Rita, et autres
Publié: (2026)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
par: Alhanahnah, Mohannad, et autres
Publié: (2024)

How Do Users Revise Architectural Related Questions on Stack Overflow: An Empirical Study
par: de Dieu, Musengamana Jean, et autres
Publié: (2024)

Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP
par: Moloney, Charles, et autres
Publié: (2026)

Analyzing the Resource Utilization of Lambda Functions on Mobile Devices: Case Studies on Kotlin and Swift
par: Ejimuda, Chibundom U., et autres
Publié: (2025)

How Do OSS Developers Reuse Architectural Solutions from Q&A Sites: An Empirical Study
par: de Dieu, Musengamana Jean, et autres
Publié: (2024)

How Do Software Engineering Students Use Generative AI in Real-World Capstone Projects? An Empirical Baseline Study
par: Mircea, Michael, et autres
Publié: (2026)

What Developers Ask to ChatGPT in GitHub Pull Requests? an Exploratory Study
par: Silva, Julyanara R., et autres
Publié: (2025)

How Developers Adopt, Use, and Evolve CI/CD Caching: An Empirical Study on GitHub Actions
par: Hasan, Kazi Amit, et autres
Publié: (2026)

Identifier Name Similarities: An Exploratory Study
par: Wong, Carol, et autres
Publié: (2025)

Engaging Developers in Exploratory Unit Testing through Gamification
par: Straubinger, Philipp, et autres
Publié: (2024)

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference
par: Aman, Ali, et autres
Publié: (2026)

What Challenges Do Developers Face in AI Agent Systems? An Empirical Study on Stack Overflow & GitHub Issues
par: Asgari, Ali, et autres
Publié: (2025)

Method Names in Jupyter Notebooks: An Exploratory Study
par: Wong, Carol, et autres
Publié: (2025)

How Do Java Developers Reuse StackOverflow Answers in Their GitHub Projects?
par: Chen, Juntong, et autres
Publié: (2023)

An Exploratory Study on Automatic Identification of Assumptions in the Development of Deep Learning Frameworks
par: Yang, Chen, et autres
Publié: (2024)

Configuring Agentic AI Coding Tools: An Exploratory Study
par: Galster, Matthias, et autres
Publié: (2026)

Readability and Understandability Scores for Snippet Assessment: an Exploratory Study
par: Dantas, Carlos Eduardo C., et autres
Publié: (2021)

Data-Driven Evidence-Based Syntactic Sugar Design
par: OBrien, David, et autres
Publié: (2024)

How Students Use Generative AI for Software Testing: An Observational Study
par: Ardic, Baris, et autres
Publié: (2025)