Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Proof-carrying_code> }
Showing triples 1 to 19 of
19
with 100 triples per page.
- George_Necula knownFor Proof-carrying_code.
- PCC wikiPageDisambiguates Proof-carrying_code.
- Proof-Carrying_Code wikiPageRedirects Proof-carrying_code.
- Proof_carrying_code wikiPageRedirects Proof-carrying_code.
- Curry–Howard_correspondence wikiPageWikiLink Proof-carrying_code.
- Dependent_type wikiPageWikiLink Proof-carrying_code.
- George_Necula wikiPageWikiLink Proof-carrying_code.
- Greg_Morrisett wikiPageWikiLink Proof-carrying_code.
- Language-based_security wikiPageWikiLink Proof-carrying_code.
- PCC wikiPageWikiLink Proof-carrying_code.
- Program_derivation wikiPageWikiLink Proof-carrying_code.
- Proof-Carrying_Code wikiPageWikiLink Proof-carrying_code.
- Proof_carrying_code wikiPageWikiLink Proof-carrying_code.
- Twelf wikiPageWikiLink Proof-carrying_code.
- Typed_assembly_language wikiPageWikiLink Proof-carrying_code.
- Verification_condition_generator wikiPageWikiLink Proof-carrying_code.
- Weird_machine wikiPageWikiLink Proof-carrying_code.
- George_Necula knownFor Proof-carrying_code.
- Proof-carrying_code primaryTopic Proof-carrying_code.