Abstrakt. Data-flöde transformationer som används i optimera kompilatorer är också användbara i andra programmeringsverktyg såsom kodgeneratorer, aspekt vävare, domän- och programspecifika optimerare, och refaktoring verktyg. Dessa tillämpningar kräver omvandlingar från källa till källa snarare än omvandlingar på låg nivå av intermediär representation. I denna uppsats beskriver vi sammansättningen av käll-till-källa dataflöde transformationer i programmet omvandlingsspråket Stratego. Språket stöder högnivåspecifikation av transformationer genom att skriva om strategikombinatorer som tillåter en naturlig modellering av data-och kontrollflöde utan att förbinda sig till ett specifikt källspråk. Dataflödesfakta sprids med hjälp av dynamiska omskrivningsregler. I synnerhet inför vi begreppet beroende dynamiska omskrivningsregler, för att modellera beroendena av dataflödesfakta på programbehörigheter som variabler. Tillvägagångssättet stöder kombinationen av analys och transformation, kombinationen av flera transformationer, kombinationen med andra typer av transformationer, och korrekt behandling av variabla bindningskonstruktioner och lexikal räckvidd för att undvika variabel avskiljning.
Olmos m.fl. införa "dynamiska omskrivningsregler" för att modellera dataflödesfakta i körtid, vilket möjliggör kontextkänsliga omvandlingar och en kombination av omvandlingar och analyser REF.
Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules
{'venue': '14TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION (CC’05), VOLUME 3443 OF LECTURE NOTES IN COMPUTER SCIENCE', 'journal': None, 'mag_field_of_study': ['Computer Science']}