Cited in
(31)- On multi-language abstraction. Towards a static analysis of multi-language programs
- Java generics are Turing complete
- Visual C#
- 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
