Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Proof-carrying code
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Software mechanism that allows a host system to verify properties
Property
Value
dbo:
description
Algorithmus für Computer
(de)
software mechanism that allows a host system to verify properties
(en)
dbo:
wikiPageExternalLink
http://www.cs.berkeley.edu/~necula/Papers/pcc_lncs98.ps
http://www.cs.berkeley.edu/~necula/Papers/thesis.pdf
http://www.eecs.berkeley.edu/~necula/Papers/tr96-165.ps.gz
dbo:
wikiPageWikiLink
dbc
:Dependently_typed_programming
dbc
:Formal_methods
dbc
:Programming_language_theory
dbr
:Peter_Lee_(computer_scientist)
dbr
:Berkeley_Packet_Filter
dbr
:Kernel_mode
dbr
:Program_derivation
dbc
:Computer_security
dbr
:Formal_proof
dbr
:George_Necula
dbr
:Memory_safety
dbr
:Formal_verification
dbr
:Security_policy
dbr
:Typed_assembly_language
dbr
:Automated_theorem_prover
dbr
:Packet_filter
dbr
:Buffer_overflows
dbr
:Domain_specific_language
dbr
:Software_fault_isolation
dbp:
wikiPageUsesTemplate
dbt
:More_footnotes_needed
dbt
:ISBN
dct:
subject
dbc
:Dependently_typed_programming
dbc
:Formal_methods
dbc
:Programming_language_theory
dbc
:Cybersecurity_engineering
gold:
hypernym
dbr
:Mechanism
rdfs:
label
Proof-carrying code
(en)
Proof-Carrying Code
(de)
Proof-Carrying Code
(pl)
owl:
sameAs
freebase
:Proof-carrying code
yago-res
:Proof-carrying code
wikidata
:Proof-carrying code
dbpedia-de
:Proof-carrying code
dbpedia-pl
:Proof-carrying code
dbpedia-global
:Proof-carrying code
prov:
wasDerivedFrom
wikipedia-en
:Proof-carrying_code?oldid=1287482469&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Proof-carrying_code
is
dbo:
knownFor
of
dbr
:George_Necula
is
dbo:
wikiPageDisambiguates
of
dbr
:PCC
is
dbo:
wikiPageRedirects
of
dbr
:Proof-Carrying_Code
dbr
:Proof_carrying_code
is
dbo:
wikiPageWikiLink
of
dbr
:Weird_machine
dbr
:PCC
dbr
:Berkeley_Packet_Filter
dbr
:Greg_Morrisett
dbr
:Program_derivation
dbr
:Dependent_type
dbr
:George_Necula
dbr
:Curry–Howard_correspondence
dbr
:List_of_programming_language_researchers
dbr
:Typed_assembly_language
dbr
:Language-based_security
dbr
:Verification_condition_generator
dbr
:Proof-Carrying_Code
dbr
:Proof_carrying_code
is
dbp:
knownFor
of
dbr
:George_Necula
is
foaf:
primaryTopic
of
wikipedia-en
:Proof-carrying_code
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International