Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Lightweight_Java> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples 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 wikiPageLength "872".
- Lightweight_Java wikiPageOutDegree "10".
- Lightweight_Java wikiPageRevisionID "637557297".
- Lightweight_Java wikiPageWikiLink Category:C_programming_language_family.
- Lightweight_Java wikiPageWikiLink Category:Class-based_programming_languages.
- Lightweight_Java wikiPageWikiLink Category:Java_(programming_language).
- Lightweight_Java wikiPageWikiLink Category:Object-oriented_programming_languages.
- Lightweight_Java wikiPageWikiLink Computer_Laboratory,_University_of_Cambridge.
- Lightweight_Java wikiPageWikiLink Imperative_programming.
- Lightweight_Java wikiPageWikiLink Isabelle_(proof_assistant).
- Lightweight_Java wikiPageWikiLink Java_(programming_language).
- Lightweight_Java wikiPageWikiLink Lightweight_programming_language.
- Lightweight_Java wikiPageWikiLink Type_safety.
- Lightweight_Java wikiPageWikiLinkText "Lightweight Java".
- Lightweight_Java wikiPageUsesTemplate Template:Portal.
- Lightweight_Java wikiPageUsesTemplate Template:Reflist.
- 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 type Microsystem.
- Lightweight_Java type Redirect.
- 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 Q6546602.
- Lightweight_Java sameAs m.05c3tx3.
- Lightweight_Java sameAs Q6546602.
- Lightweight_Java wasDerivedFrom Lightweight_Java?oldid=637557297.
- Lightweight_Java isPrimaryTopicOf Lightweight_Java.