Основания языков программирования

Митчелл Дж.

под заказ

Цена в интернет-магазине: 1259,00 руб.

ISBN: 978-5-93972-757-0
Внешнее покрытие издания: в пер.
Фамилия автора в заголовке: Митчелл
Инициалы автора (личного имени (имен)): Дж.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Основания языков программирования
Первые сведения об ответственности: Дж. Митчелл
Место издания: М.-Ижевск
Издатель: НИЦ "Регулярная и хаотическая динамика"
Дата издания: 2010
Объем издания (количество страниц): 720
Высота, см.: 24
Индекс УДК: 004.43
Статус записи (Тип информации): В наличии
Ширина, см: 18
Толщина, см: 3,5
Вес в граммах: 1085
Индекс ББК: 32.973-018
Артикул: 2060224

Описание

Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике. Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.