swMATH30933MaRDI QIDQ42647FDOQ42647
Author name not available (Why is that?)
Official website: https://kotlinlang.org/
Source code repository: https://github.com/JetBrains/kotlin/
Cited In (30)
- Java generics are Turing complete
- On multi-language abstraction. Towards a static analysis of multi-language programs
- RepLib
- Joogie
- Jython
- Pycket
- PyPy
- gradualizerDynamicSemantics
- Ilea
- LPaaS
- Swift
- NullAway
- RxJava
- Calysto
- Cascade
- CIVL
- GraVy
- Pyston
- Rust2Viper
- GraalVM
- QuickREST
- 2P-Kt
- tuProlog
- TuCSoN
- TuSoW
- Leveraging compiler intermediate representation for multi- and cross-language verification
- StaDyn
- Nashorn
- RPython
- SonarQube
This page was built for software: Kotlin
