"Concepts and Semantic of Programming Languages, Volume 1" авторства Therese Harrin - это первое из двух изданий книги, посвященной изучению синтаксических конструкций в наиболее распространенных языках программирования, с математической точки зрения с акцентом на семантику и включающей хорошо представленные вопросы, связанные с материальными аспектами кодирования. В этом издании рассматриваются функции и основные структуры в функциональном и императивном стилях.
Книга включает формальное изучение семантики типов и выполнения; их получение облегчается путем реализации в OCaml и Python, а также с помощью примеров. Подробности рассматриваются в отношении представления данных: порядок байтов, указатели, управление памятью, объединение типов и сопоставление, включая примеры в OCaml, С и С++. Во второй части рассматриваются особенности модульного и объектного типов, подкрепленные моделями, которые используются для представления модулей Ada и OCaml.
Эта книга предназначена не только для студентов и преподавателей компьютерных наук, но и для опытных программистов, желающих узнать основы чтения справочных руководств и основы программы проверки.
#программы