Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Director_string> ?p ?o }
Showing triples 1 to 41 of
41
with 100 triples per page.
- Director_string abstract "In mathematics, in the area of lambda calculus and computation, directors or director strings are a mechanism for keeping track of the free variables in a term. Loosely speaking, they can be understood as a kind of memoization for free variables; that is, as an optimization technique for rapidly locating the free variables in a term algebra or in a lambda expression. Director strings were introduced by Kennaway and Sleep in 1982 and further developed by Sinot, Fernández and Mackie as a mechanism for understanding and controlling the computational complexity cost of beta reduction.".
- Director_string wikiPageExternalLink sinot-jlc05.pdf.
- Director_string wikiPageID "16820442".
- Director_string wikiPageLength "4175".
- Director_string wikiPageOutDegree "27".
- Director_string wikiPageRevisionID "698821992".
- Director_string wikiPageWikiLink Analysis_of_algorithms.
- Director_string wikiPageWikiLink Arity.
- Director_string wikiPageWikiLink Category:Lambda_calculus.
- Director_string wikiPageWikiLink Category:Rewriting_systems.
- Director_string wikiPageWikiLink Category:Software_optimization.
- Director_string wikiPageWikiLink Combinatory_logic.
- Director_string wikiPageWikiLink Combinatory_reduction_system.
- Director_string wikiPageWikiLink Computation.
- Director_string wikiPageWikiLink Explicit_substitution.
- Director_string wikiPageWikiLink Expression_(mathematics).
- Director_string wikiPageWikiLink Free_variables_and_bound_variables.
- Director_string wikiPageWikiLink Function_(mathematics).
- Director_string wikiPageWikiLink Lambda_calculus.
- Director_string wikiPageWikiLink Mathematics.
- Director_string wikiPageWikiLink Memoization.
- Director_string wikiPageWikiLink Power_set.
- Director_string wikiPageWikiLink Program_optimization.
- Director_string wikiPageWikiLink Rewriting.
- Director_string wikiPageWikiLink Term_algebra.
- Director_string wikiPageWikiLinkText "Director string".
- Director_string wikiPageWikiLinkText "director string".
- Director_string subject Category:Lambda_calculus.
- Director_string subject Category:Rewriting_systems.
- Director_string subject Category:Software_optimization.
- Director_string hypernym Mechanism.
- Director_string type Model.
- Director_string type Organisation.
- Director_string type Model.
- Director_string comment "In mathematics, in the area of lambda calculus and computation, directors or director strings are a mechanism for keeping track of the free variables in a term. Loosely speaking, they can be understood as a kind of memoization for free variables; that is, as an optimization technique for rapidly locating the free variables in a term algebra or in a lambda expression.".
- Director_string label "Director string".
- Director_string sameAs Q5280581.
- Director_string sameAs m.0407djz.
- Director_string sameAs Q5280581.
- Director_string wasDerivedFrom Director_string?oldid=698821992.
- Director_string isPrimaryTopicOf Director_string.