Premiile Ad Astra
Revista Ad Astra
Biblioteca de știință
Cartea albă
Topul universităților
Who's who
Publicații
Teze și dizertații
Asociația Ad Astra
 
Comunicate
Știri
Evenimente
Oportunități de finanțare
 
Login
Înregistrare
 
>> English
 
   
 

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

Rezumat: 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.

Cuvinte cheie: Conditional Rewriting; Program transformation;

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

Adăugată pe site de Traian Serbanuta

Înapoi

   
© Ad Astra 2001-2013