会员服务
Kotlin 是一种运行于 Java 虚拟机上的静态类型编程语言。
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日
To what extent can we analyze Kotlin programs using existing Java taint analysis tools? (Extended Version)
Arxiv
0+阅读 · 2022年7月29日
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Arxiv
0+阅读 · 2022年7月20日
To what extent can we analyze Kotlin programs using existing Java taint analysis tools?
Arxiv
0+阅读 · 2022年7月19日
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Arxiv
0+阅读 · 2022年6月9日
Lupa: A Framework for Large Scale Analysis of the Programming Language Usage
Arxiv
0+阅读 · 2022年3月28日
Lupa: A Platform for Large Scale Analysis of the Programming Language Usage
Arxiv
0+阅读 · 2022年3月17日
Reflekt: a Library for Compile-Time Reflection in Kotlin
Arxiv
0+阅读 · 2022年2月15日
参考链接
父主题
编程语言
微信扫码咨询专知VIP会员
Top