Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

Computationally equivalent elimination of conditions

Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în revistã ştiinţificã

Autori: Traian Florin Serbanuta, Grigore Rosu

Editorial: RTA'06, p.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