Term omskrivning är en tilltalande teknik för att utföra programanalys och programomvandling. Träd (term) traversal används ofta men stöds inte av standardterm omskrivning. Vi utökar mångsorterad, första ordningens term omskrivning med traversala funktioner som automatiserar träd traversal på ett enkelt och typsäkert sätt. Traversal funktioner kan vara bottom-up eller top-down traversals och kan antingen passera alla noder i ett träd eller kan stoppa traversal på ett visst djup så snart en matchande nod hittas. De kan antingen definiera typbevarande omvandlingar eller kartläggningar till ett fast slag. Vi ger små och något större exempel på traversala funktioner och beskriver deras operativa semantik och implementering. En bedömning av olika ansökningar och en diskussion avslutar artikeln.
I REF Klint m.fl. Utöka termen omskrivning med traversala funktioner för att passera ett träd automatiskt, enligt en uppsättning inbyggda traversala primitiver.
Term rewriting with traversal functions
{'venue': 'TSEM', 'journal': None, 'mag_field_of_study': ['Computer Science']}