swMATH ID: 30162
Software Authors:
Description: Connected Limited Device Configuration (CLDC); JSR 139. The Connected Limited Device Configuration (CLDC) defines the base set of application programming interfaces and a virtual machine for resource-constrained devices like mobile phones, pagers, and mainstream personal digital assistants. When coupled with a profile such as the Mobile Information Device Profile (MIDP), it provides a solid Java platform for developing applications to run on devices with limited memory, processing power, and graphical capabilities.
Homepage: https://www.oracle.com/technetwork/java/cldc-141990.html
Dependencies: Java
Related Software: CompCertTSO; K Prover; Jinja not Java; Archive Formal Proofs; BicolanoMT; Jinja Threads; K-Java; Locales; Cyclone; CakeML; JavaFAN; Isabelle/HOL; Nitpick; CESAR; jETI
Cited in: 2 Documents

Citations by Year