control program generation language