Ad Astra Awards
Ad Astra Journal
Science library
White book
University rankings
Who's who
Publications
Theses and dissertations
Ad Astra association
 
Press releases
News
Events
Funding opportunities
 
Login
Registration
 
>> Românã
 
   
 

Traian Florin Serbanuta, Grigore Rosu. Computationally equivalent elimination of conditions. RTA' 06, pp. 19 - 34, 2006.

Abstract: An automatic and easy to implement transformation of conditional term rewrite systems into computationally equivalent unconditional term rewrite systems is presented. No special support is needed from the underlying unconditional rewrite engine. Since unconditional rewriting is more amenable to parallelization, our transformation is expected to lead to efficient concurrent implementations of rewriting.

Keywords: Conditional Rewriting; Program transformation;

URL: http://dx.doi.org/10.1007/11805618_3

Posted by Traian Serbanuta

Back

   
© Ad Astra 2001-2013