Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Type_erasure> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Type_erasure abstract "In programming languages, type erasure refers to the compile-time process by which explicit type annotations are removed from a program, before it is executed at run-time. Operational semantics that do not require programs to be accompanied by types are called type-erasure semantics, to be contrasted with type-passing semantics. The possibility of giving type-erasure semantics is a kind of abstraction principle, ensuring that the run-time execution of a program does not depend on type information. In the context of generic programming, the opposite of type erasure is called reification.".
- Type_erasure wikiPageID "7386145".
- Type_erasure wikiPageLength "1932".
- Type_erasure wikiPageOutDegree "14".
- Type_erasure wikiPageRevisionID "706146289".
- Type_erasure wikiPageWikiLink Abstraction_principle_(computer_programming).
- Type_erasure wikiPageWikiLink Category:Type_theory.
- Type_erasure wikiPageWikiLink Compile_time.
- Type_erasure wikiPageWikiLink Generic_programming.
- Type_erasure wikiPageWikiLink Generics_in_Java.
- Type_erasure wikiPageWikiLink If_and_only_if.
- Type_erasure wikiPageWikiLink Operational_semantics.
- Type_erasure wikiPageWikiLink Polymorphism_(computer_science).
- Type_erasure wikiPageWikiLink Programming_language.
- Type_erasure wikiPageWikiLink Reification_(computer_science).
- Type_erasure wikiPageWikiLink Run_time_(program_lifecycle_phase).
- Type_erasure wikiPageWikiLink Type_inference.
- Type_erasure wikiPageWikiLink Type_system.
- Type_erasure wikiPageWikiLinkText "Type erasure".
- Type_erasure wikiPageWikiLinkText "erase".
- Type_erasure wikiPageWikiLinkText "type erased".
- Type_erasure wikiPageWikiLinkText "type erasure".
- Type_erasure wikiPageUsesTemplate Template:Cite_journal.
- Type_erasure wikiPageUsesTemplate Template:Comp-sci-stub.
- Type_erasure wikiPageUsesTemplate Template:Main.
- Type_erasure wikiPageUsesTemplate Template:Reflist.
- Type_erasure subject Category:Type_theory.
- Type_erasure comment "In programming languages, type erasure refers to the compile-time process by which explicit type annotations are removed from a program, before it is executed at run-time. Operational semantics that do not require programs to be accompanied by types are called type-erasure semantics, to be contrasted with type-passing semantics.".
- Type_erasure label "Type erasure".
- Type_erasure sameAs Q7860901.
- Type_erasure sameAs m.080hkhp.
- Type_erasure sameAs Q7860901.
- Type_erasure sameAs 类型擦除.
- Type_erasure wasDerivedFrom Type_erasure?oldid=706146289.
- Type_erasure isPrimaryTopicOf Type_erasure.