Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Director_string> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items 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 wikiPageRevisionID "570525838".
- Director_string hasPhotoCollection Director_string.
- Director_string subject Category:Lambda_calculus.
- Director_string subject Category:Rewriting_systems.
- Director_string subject Category:Software_optimization.
- Director_string type Artifact100021939.
- Director_string type Instrumentality103575240.
- Director_string type Object100002684.
- Director_string type PhysicalEntity100001930.
- Director_string type RewritingSystems.
- Director_string type System104377057.
- Director_string type Whole100003553.
- 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 m.0407djz.
- Director_string sameAs Q5280581.
- Director_string sameAs Q5280581.
- Director_string sameAs Director_string.
- Director_string wasDerivedFrom Director_string?oldid=570525838.
- Director_string isPrimaryTopicOf Director_string.