Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5280581> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Q5280581 subject Q8581097.
- Q5280581 subject Q8660315.
- Q5280581 subject Q8759205.
- Q5280581 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.".
- Q5280581 wikiPageExternalLink sinot-jlc05.pdf.
- Q5280581 wikiPageWikiLink Q11348.
- Q5280581 wikiPageWikiLink Q1156793.
- Q5280581 wikiPageWikiLink Q12525525.
- Q5280581 wikiPageWikiLink Q1315869.
- Q5280581 wikiPageWikiLink Q1376168.
- Q5280581 wikiPageWikiLink Q1481571.
- Q5280581 wikiPageWikiLink Q1668499.
- Q5280581 wikiPageWikiLink Q205170.
- Q5280581 wikiPageWikiLink Q21998744.
- Q5280581 wikiPageWikiLink Q242028.
- Q5280581 wikiPageWikiLink Q333464.
- Q5280581 wikiPageWikiLink Q395.
- Q5280581 wikiPageWikiLink Q5421271.
- Q5280581 wikiPageWikiLink Q6498784.
- Q5280581 wikiPageWikiLink Q8581097.
- Q5280581 wikiPageWikiLink Q8660315.
- Q5280581 wikiPageWikiLink Q8759205.
- Q5280581 wikiPageWikiLink Q935944.
- Q5280581 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.".
- Q5280581 label "Director string".