System S är en kalkyl som ger grundläggande abstraktioner av termen omskrivning: matchnings- och byggtermer, term traversal, kombinerar beräkningar och hanteringsfel. Analysen utgör ett kärnspråk för genomförandet av en mängd olika omskrivningsspråk, eller mer allmänt språk för att specificera trädomvandlingar. I detta dokument visar vi hur ett konventionellt omskrivningsspråk baserat på villkorlig omskrivning kan genomföras enkelt i System S. Därefter visar vi hur detta genomförande kan utökas med funktioner som matchningsvillkor, negativa villkor, standardregler, non-striktness annotations och alternativa utvärderingsstrategier.
Dessa och andra kombinatorer formaliserades på ett kärnspråk för strategisk omskrivning i REF.
A core language for rewriting
{'venue': 'Electr. Notes Theor. Comput. Sci.', 'journal': None, 'mag_field_of_study': ['Computer Science']}