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