The StaDyn programming language