Deze bijdrage geeft een inleidend overzicht van de betekenis van termreductie voor algebraïsche specificaties (AS). Eerst wordt ingegaan op de kenmerken van een AS en op het verband met datgene wat gespecificeerd wordt. Vanuit het concept termalgebra is een opmerkelijke correspondentie aan te geven. Omdat transformaties op termen in zekere zin operaties op objecten simuleren, vormt een theorie van syntactische vereenvoudigingen een basis voor implementatie van prototyping. Door de vergelijkingen van een AS een richting te geven en eventueel het zo ontstane stelsel van herschrijfregels uit te breiden ontstaat uit een AS een termreductie systee ...
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.