A language for high-level programming of dynamic reconfiguration | lit.salon