Общее исследование набора спецификаций синтаксиса и семантики языков программирования в рамках их стандартизации. Изучение основных типов и структур языков программирования. Реализация денотационных определений языков. Основные элементы теории Скотта.