Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Reduction_strategy_(code_optimization)> ?p ?o }
Showing triples 1 to 24 of
24
with 100 triples per page.
- Reduction_strategy_(code_optimization) abstract "In code optimization during the translation of computer programs into an executable form, and in mathematical reduction generally, a reduction strategy for a term rewriting system determines which reducible subterms (or reducible expressions, redexes) should be reduced (contracted) within a term; it may be the case that a term may contain multiple redexes which are disjoint from one another and that choosing to contract one redex before another may have no influence on the resulting reduced form of the term, or that the redexes in a term do overlap and that choosing to contract one of the overlapping redexes over the other may result in a different reduced form of the term. It is the choice of which redex at each step in the reduction to contract that determines the strategy chosen. This can be seen as a practical application of the theoretical notion of reduction strategy in lambda calculus.".
- Reduction_strategy_(code_optimization) wikiPageID "4303385".
- Reduction_strategy_(code_optimization) wikiPageLength "1183".
- Reduction_strategy_(code_optimization) wikiPageOutDegree "7".
- Reduction_strategy_(code_optimization) wikiPageRevisionID "674272129".
- Reduction_strategy_(code_optimization) wikiPageWikiLink Category:Rewriting_systems.
- Reduction_strategy_(code_optimization) wikiPageWikiLink Lambda_calculus.
- Reduction_strategy_(code_optimization) wikiPageWikiLink Program_optimization.
- Reduction_strategy_(code_optimization) wikiPageWikiLink Reduction_strategy_(lambda_calculus).
- Reduction_strategy_(code_optimization) wikiPageWikiLink Rewriting.
- Reduction_strategy_(code_optimization) wikiPageWikiLink Thunk.
- Reduction_strategy_(code_optimization) wikiPageWikiLinkText "Reduction strategy (code optimization)".
- Reduction_strategy_(code_optimization) wikiPageUsesTemplate Template:Comp-sci-stub.
- Reduction_strategy_(code_optimization) wikiPageUsesTemplate Template:Unreferenced.
- Reduction_strategy_(code_optimization) subject Category:Rewriting_systems.
- Reduction_strategy_(code_optimization) hypernym Disjoint.
- Reduction_strategy_(code_optimization) comment "In code optimization during the translation of computer programs into an executable form, and in mathematical reduction generally, a reduction strategy for a term rewriting system determines which reducible subterms (or reducible expressions, redexes) should be reduced (contracted) within a term; it may be the case that a term may contain multiple redexes which are disjoint from one another and that choosing to contract one redex before another may have no influence on the resulting reduced form of the term, or that the redexes in a term do overlap and that choosing to contract one of the overlapping redexes over the other may result in a different reduced form of the term. ".
- Reduction_strategy_(code_optimization) label "Reduction strategy (code optimization)".
- Reduction_strategy_(code_optimization) sameAs Q10276574.
- Reduction_strategy_(code_optimization) sameAs Estratégia_de_redução.
- Reduction_strategy_(code_optimization) sameAs m.0bw1r6.
- Reduction_strategy_(code_optimization) sameAs Q10276574.
- Reduction_strategy_(code_optimization) wasDerivedFrom Reduction_strategy_(code_optimization)?oldid=674272129.
- Reduction_strategy_(code_optimization) isPrimaryTopicOf Reduction_strategy_(code_optimization).