CLDC

swMATH30162MaRDI QIDQ41876FDOQ41876

Author name not available (Why is that?)

Official website: https://www.oracle.com/technetwork/java/cldc-141990.html

Cited In (4)

• Mechanising a type-safe model of multithreaded Java with a verified compiler
• BicolanoMT
• Jinja Threads
• Executable JVM model for analytical reasoning: A study

This page was built for software: CLDC