Vi behandlar utformningen av distribuerade system med synkrona dataflöde programmeringsspråk. Eftersom modulär design innebär att hantera både arkitektonisk och funktionell modularitet, är vårt första bidrag att utöka en befintlig synkron dataflöde programmeringsspråk med primitiver som gör det möjligt att beskriva en distribuerad arkitektur och lokalisering av vissa uttryck på vissa processorer. Vi presenterar också en distribuerad semantik för att formalisera det distribuerade utförandet av synkrona program. Vårt andra bidrag är att tillhandahålla ett typsystem, för att härleda lokaliseringen av icke-annoterade värden med hjälp av typslut och för att säkerställa, vid sammanställningstidpunkten, konsekvensen i distributionen. Vårt tredje bidrag är att tillhandahålla en typ-riktad projektion operation för att automatiskt, från en centraliserad typad program, det lokala programmet som ska utföras av varje datorresurs. Typsystemet och den automatiska distributionsmekanismen har genomförts fullt ut i kompilatorn av ett befintligt programmeringsspråk för synkron dataflöde.
Till exempel kan programmerare använda ett typsystem för att härleda lokaliseringen av uttryck på processorer i synkrona dataflödesprogram REF.
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
{'venue': 'LCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (2008) 101-110', 'journal': None, 'mag_field_of_study': ['Computer Science']}