Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Lightweight_Java> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Lightweight_Java abstract "Lightweight Java (LJ) is a fully formalized and extensible minimal imperative fragment of Java. The language was designed for academic purposes within the Computer Laboratory, University of Cambridge. The definition of LJ was proven type-sound in Isabelle/HOL.".
- Lightweight_Java wikiPageID "21184339".
- Lightweight_Java wikiPageRevisionID "416647536".
- Lightweight_Java hasPhotoCollection Lightweight_Java.
- Lightweight_Java subject Category:C_programming_language_family.
- Lightweight_Java subject Category:Class-based_programming_languages.
- Lightweight_Java subject Category:Java_programming_language.
- Lightweight_Java subject Category:Object-oriented_programming_languages.
- Lightweight_Java comment "Lightweight Java (LJ) is a fully formalized and extensible minimal imperative fragment of Java. The language was designed for academic purposes within the Computer Laboratory, University of Cambridge. The definition of LJ was proven type-sound in Isabelle/HOL.".
- Lightweight_Java label "Lightweight Java".
- Lightweight_Java sameAs m.05c3tx3.
- Lightweight_Java sameAs Q6546602.
- Lightweight_Java sameAs Q6546602.
- Lightweight_Java wasDerivedFrom Lightweight_Java?oldid=416647536.
- Lightweight_Java isPrimaryTopicOf Lightweight_Java.