This HTML5 document contains 33 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n4https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Lightweight_Java
rdfs:label
Lightweight Java
rdfs: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.
dcterms:subject
dbc:Class-based_programming_languages dbc:Object-oriented_programming_languages dbc:Java_(programming_language) dbc:C_programming_language_family
dbo:wikiPageID
21184339
dbo:wikiPageRevisionID
949166129
dbo:wikiPageWikiLink
dbr:Imperative_programming dbc:C_programming_language_family dbr:University_of_Cambridge_Computer_Laboratory dbr:Isabelle_theorem_prover dbr:Type_soundness dbr:Java_(programming_language) dbc:Java_(programming_language) dbr:Lightweight_programming_language dbc:Object-oriented_programming_languages dbc:Class-based_programming_languages
owl:sameAs
n4:4qR8q wikidata:Q6546602 freebase:m.05c3tx3
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Portal
dbo: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.
prov:wasDerivedFrom
wikipedia-en:Lightweight_Java?oldid=949166129&ns=0
dbo:wikiPageLength
1701
foaf:isPrimaryTopicOf
wikipedia-en:Lightweight_Java
Subject Item
dbr:LJ_(programming_language)
dbo:wikiPageWikiLink
dbr:Lightweight_Java
dbo:wikiPageRedirects
dbr:Lightweight_Java
Subject Item
dbr:Isabelle_(proof_assistant)
dbo:wikiPageWikiLink
dbr:Lightweight_Java
Subject Item
dbr:LJ
dbo:wikiPageWikiLink
dbr:Lightweight_Java
dbo:wikiPageDisambiguates
dbr:Lightweight_Java
Subject Item
wikipedia-en:Lightweight_Java
foaf:primaryTopic
dbr:Lightweight_Java