Publication | Open Access

Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation

EngineeringData FlowProgram AnalysisCompiler TechnologyCode GenerationFormal MethodsSoftware AnalysisSoftware EngineeringDistributed Code GenerationParallel ProgrammingComputer ScienceIntermediate RepresentationParallel ComputingExtensible LanguageFormal VerificationSoftware Design