Я не знаю ни одного обзора семантики различных языковых особенностей, хотя есть много книг, посвященных семантике языков программирования. Вот некоторые из более полных, которые также имеют дело с менее стандартными конструкциями:
Концепции дизайна в языках программирования Фрэнклин Турбак, Дэвид Гиффорд и Марк Шелдон. Гигантская книга, полная семантики различных языковых конструкций.
Концепции, методы и модели компьютерного программирования Питера Ван Роя и Сейфа Хариди. Эта книга фокусируется в основном на понятиях с точки зрения языка Оз. Каждый пример в книге работает. В конце книги есть глава или две, в которых обсуждается формальная семантика языковых конструкций.
Более классические тексты, в которых больше внимания уделяется семантическим методам, чем разнообразным конструкциям языка программирования, включают:
Типы и языки программирования Бенджамина Пирса. Книга о системах типов. Основное внимание уделяется функциональным языковым конструкциям при одновременном повышении сложности системы типов. Он также охватывает Featherweight Java, ядро Java.
Переходы и деревья Ганса Хаттеля. Хорошее введение в операционную семантику, охватывающее различные языковые конструкции возрастающей сложности.
Семантика с приложениями от Hanne Riis Nielson и Flemming Nielson. Введение в различные стили семантики, включая некоторые неочевидные их применения. Отличное чтение!
Структура типизированных языков программирования. Автор David A Schmidt. Твердая основополагающая книга.
Семантика языков программирования: структуры и методы. Автор Carl A Gunter. Еще одна основательная книга.
И, наконец, незавершенная, доступная для загрузки, « Практические основы для языков программирования » Боба Харпера, охватывающая множество функций языка программирования, гарантирующих, что все будет формализовано в процессе работы.
Я должен добавить, что если вы зададите более конкретный вопрос, вы получите более конкретный ответ. Многие научные труды дают семантику различным функциям языка программирования. Если вас заинтересовала какая-то особенность, я мог бы найти одну или две статьи по этой функции.