Kotlin

MaRDI QIDQ42647swMATHFDO

Official website https://kotlinlang.org/

Source code repository https://github.com/JetBrains/kotlin/

Cited in

(31)

• StaDyn
• Nashorn
• Visual C#
• On multi-language abstraction. Towards a static analysis of multi-language programs
• RepLib
• Joogie
• Jython
• Pycket
• PyPy
• gradualizerDynamicSemantics
• Ilea
• LPaaS
• Swift
• NullAway
• RxJava
• Calysto
• GraVy
• Rust2Viper
• Pyston
• Cascade
• CIVL
• GraalVM
• QuickREST
• Java generics are Turing complete
• 2P-Kt
• tuProlog
• TuCSoN
• TuSoW
• SonarQube
• RPython
• Leveraging compiler intermediate representation for multi- and cross-language verification

This page was built for software: Kotlin