会员服务
Kotlin 是一种运行于 Java 虚拟机上的静态类型编程语言。
How Do Developers Use Type Inference: An Exploratory Study in Kotlin
Arxiv
0+阅读 · 10月30日
Reasoning About Exceptional Behavior At the Level of Java Bytecode
Arxiv
0+阅读 · 9月30日
Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor
Arxiv
0+阅读 · 8月21日
Kotlin's Type System is (Also) Unsound
Arxiv
0+阅读 · 8月20日
Cross-Language Dependencies: An Empirical Study of Kotlin-Java
Arxiv
0+阅读 · 7月26日
Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor
Arxiv
0+阅读 · 7月5日
Kotlin ML Pack: Technical Report
Arxiv
0+阅读 · 5月29日
An Empirical Study of Kotlin-Java Interactions
Arxiv
0+阅读 · 5月7日
Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor
Arxiv
0+阅读 · 1月30日
Contract Usage and Evolution in Android Mobile Applications
Contract Usage and Evolution in Android Mobile Applications
Arxiv
0+阅读 · 1月25日
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
Arxiv
0+阅读 · 1月12日
Method Chaining Redux: An Empirical Study of Method Chaining in Java, Kotlin, and Python
Arxiv
0+阅读 · 2023年3月20日
Fast and Scalable Channels in Kotlin Coroutines
Arxiv
0+阅读 · 2022年11月9日
Learning migration models for supporting incremental language migrations of software applications
Arxiv
0+阅读 · 2022年10月3日
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Arxiv
0+阅读 · 2022年9月15日
参考链接
父主题
编程语言
微信扫码咨询专知VIP会员
Top