| http://dbpedia.org/ontology/abstract
|
Value numbering is a technique of determining when two computations in a program are equivalent and eliminating one of them with a semantics-preserving optimization.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://archive.org/details/advancedcompiler00much +
, http://static.aminer.org/pdf/PDF/000/546/451/a_unified_approach_to_global_program_optimization.pdf%3C%21-- +
, http://portal.acm.org/citation.cfm%3Fid=512945&coll=portal&dl=ACM +
|
| http://dbpedia.org/ontology/wikiPageID
|
56244452
|
| http://dbpedia.org/ontology/wikiPageLength
|
7656
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1063398427
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Copy_propagation +
, http://dbpedia.org/resource/Value_numbering +
, http://dbpedia.org/resource/Optimizing_compiler +
, http://dbpedia.org/resource/Compiler_optimization +
, http://dbpedia.org/resource/Static_single_assignment_form +
, http://dbpedia.org/resource/Basic_block +
, http://dbpedia.org/resource/Computations +
, http://dbpedia.org/resource/Category:Compiler_optimizations +
, http://dbpedia.org/resource/POPL +
, http://dbpedia.org/resource/Bitwise_AND +
, http://dbpedia.org/resource/Global_value_numbering +
, http://dbpedia.org/resource/Pseudocode +
, http://dbpedia.org/resource/Morgan_Kaufmann_Publishers +
, http://dbpedia.org/resource/Redundant_code +
, http://dbpedia.org/resource/Partial_redundancy_elimination +
, http://dbpedia.org/resource/Common_subexpression_elimination +
, http://dbpedia.org/resource/Integer +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Compiler_optimizations +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Compiler_optimizations +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Value_numbering?oldid=1063398427&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Value_numbering +
|
| owl:sameAs |
http://dbpedia.org/resource/Value_numbering +
, https://global.dbpedia.org/id/4XP4V +
, http://www.wikidata.org/entity/Q48850489 +
|
| rdfs:comment |
Value numbering is a technique of determining when two computations in a program are equivalent and eliminating one of them with a semantics-preserving optimization.
|
| rdfs:label |
Value numbering
|
