Jetbrains, the team behind the popular Java IDE IntelliJ, have released Kotlin 1.0, its homegrown programming language for JVM and Java. The company descries Kotlin as “a pragmatic programming ...

He then employs the findings to (re)design programming language features and tools with pragmatics in mind. For his NSF CAREER project, Dimoulas will develop a new empirical technique for evaluating ...