A language for high-level programming of dynamic reconfiguration