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

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

PrefixNamespace IRI
n5google.
isaphttp://webisa.webdatacommons.org/prov/
isahttp://webisa.webdatacommons.org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
isa:155349095
rdf:type
prov:Entity
prov:value
The type-checker 708 implements an algorithm or procedure for applying one or more rule sets 710 to each stage of the compilation process, and therefore to each representation of the IR. The rule sets 710 are selected based upon varying properties, such as the source language, stage of compilation, what strength of typing; etc.
prov:wasQuotedFrom
n5:fr
Subject Item
isap:100378517
prov:wasDerivedFrom
isa:155349095