Обсуждаются функциональные и логические языки программирования, декларативные расширения императивных языков и другие средства повышения уровня абстракции языков программирования. В частности: 1. Функциональные языки программирования. 2. Логические языки программирования. 3. Декларативные расширения императивных языков программирования. 4. Технологии трансформации исходного и промежуточного кода, целью которых является повышение уровня абстракции языка программирования до декларативного уровня. 5. Аспектно-ориентированное программирование в той части, где оно позволяет добиться повышения уровня абстракции. |