ASF+SDF Meta-Miljö är en interaktiv språkutvecklingsmiljö vars huvudsakliga tillämpningsområden är definition och genomförande av domänspecifika språk, generering av programanalys- och omvandlingsverktyg samt produktion av programrenoveringsverktyg. Den använder villkorliga omskrivningsregler för att definiera dynamiska semantik och andra verktygsorienterade aspekter av språk, så effektiviteten hos de genererade verktygen är kritiskt beroende av kvaliteten på omskrivningsregelns genomförande. ASF+SDF omskriver regelkompilatorn genererar C-kod och utnyttjar därmed C:s portabilitet och de sofistikerade optimeringsmöjligheterna hos nuvarande C-kompilatorer samt undviker potentiella flaskhalsar i det abstrakta maskingränssnittet. Den kan hantera stora (10 000+ regel) språkdefinitioner och använder ett effektivt lagringssystem som kan hantera stora (1 000 000+ nod) termer. Term lagring använder maximal subterm delning (hash-consing), som visar sig vara effektivare när det gäller ASF+SDF än när det gäller Lisp eller SML. Omfattande benchmarking har visat att den genererade kodens tid och rymdprestanda är lika bra som eller bättre än de bästa aktuella reglerna för omskrivning och funktionella språkkompilatorer.
ASF+SDF är meta-språket för ASF+SDF Meta-Miljö REF, som är en interaktiv språkmiljö för att definiera och genomföra DSL, generera programanalys och omvandlingsverktyg, och producera programrenoveringsverktyg.
Compiling language definitions: the ASF+SDF compiler
{'venue': 'TOPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}