loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 32nd Annual IEEE International Computer Software and Applications Conference
Sequential Demand-Driven Evaluation of Eager TransLucid
July 28-August 01
ISBN: 978-0-7695-3262-2
We present the Eager TransLucid language, an intensional programming language in which the value of a variable is a function mapping multidimensional contexts --- the "possible worlds" of intensional logic ---to ground values or, equivalently, that variables define multidimensional arrays of arbitrary dimensionality.The Eager TransLucid language is a natural generalisation of Wadge and Ashcroft's Lucid dataflow language. Given specific set of equations and a context, the operational semantics determines the value taken by a variable in that context, which may depend both on the values of dimensions within the context and the values of variables in other contexts. The contexts correspond to tags in tagged-token dataflow systems. The key contribution of the paper is to prove that it is possible to create a warehouse caching the values of already computed (identifier, context) pairs in such a way as to ensure that no reference is made to unnecessary dimensions. The method consists of storing demands for relevant dimensions in the current context as these are needed.
Citation:
John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge, "Sequential Demand-Driven Evaluation of Eager TransLucid," compsac, pp.1266-1271, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Usage of this product signifies your acceptance of the Terms of Use.