3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.SE2024
How Do Developers Use Type Inference: An Exploratory Study in Kotlin
Samuel W. Flint, Ali M. Keshk, Robert Dyer +1
Statically typed languages offer numerous benefits to developers, such as improved code quality and reduced runtime errors, but they also require the overhead of manual type annota…
cs.SE2023★ 3 cited
Automated Repair of Declarative Software Specifications in the Era of Large Language Models
Md Rashedul Hasan, Jiawei Li, Iftekhar Ahmed +1
The growing adoption of declarative software specification languages, coupled with their inherent difficulty in debugging, has underscored the need for effective and automated repa…
cs.SE2014
Synthesis from Formal Partial Abstractions
Hamid Bagheri
Developing complex software systems is costly, time-consuming and error-prone. Model- driven development (MDD) promises to improve software productivity, timeliness, quality and co…