SYNALP: SYNchronous Applications, Languages, and Programs