Языки программирования: разделение и спецификации